论文部分内容阅读
讨论了数据库中的所有定律的使用。数据库中有两种定律：状态定律和转移定律。状态定律中有一些用作推导规则，还有一些用作完整性规则，对此文中都进行了详细的讨论。该文还讨论每一种方法对数据库的插入、删除和修改操作的影响。对于转移定律，主要讨论其形式化的问题，使得元和状态定律中的完整性规则同样处理。最后讨论转移规则的一致性问题。通过讨论，对演绎数据库的完整性有更深刻的了解，对于数据库中的数据不完整提供了一些检查方法，从而可以设法避免数据库的不完整。（本刊录）