论文部分内容阅读
完整性约束是封闭的一阶合式，称IC合式。该文提出了一种在理论上和实现上都可靠的分布式演绎数据库系统（DDDBS）中无函数符号出现的完整性维护方 法。对实施完整性维护的效率方面作了一系列讨论，给出了一种新的检测策略来验证由更新操作引起的完整性约束。在检查是否违约时采用了一些技术，对约束的全部检查可减少到只检查与约束相关的一些简化示例，从而有效地提高了完整性维护的可用性。另外，该文讨论完整性维护是基于由分布式数据库系统支持的数据分布环境，对于实施完整性约束的分布检查，是一个新的尝试。（本刊录）