Dynamic Integrity Constraints In Databases

动态完整性约束出现在许多传统的和非传统的 传统的数据库应用程序;然而， 不支持当前的数据库管理系统。 这 该项目侧重于检查动态 数据库中的完整性约束。 过去时间逻辑与过去 度量时态逻辑被提出作为约束语言， 从而可以制定定性和定量的 时间条件。 该项目包括开发和 一种降低动态完整性的方法的实现 静态完整性检查。 如果使用这种方法， 过去的数据库状态不必为了 动态完整性检查 相反， 信息作为辅助存储在每个数据库状态中 关系 所需辅助关系的定义如下： 自动从约束中导出。 的技术 优化约束检查和问题， 这种新方法与现有数据库管理的集成 系统也将得到解决。 拟议的研究将 大大扩大了数据库的应用范围 管理系统，并将使这些更容易整合 具有实时进程的系统。

Dynamic integrity constraints arise in many traditional and non- traditional database applications; however, such constraints are not supported by current database management systems. This project focuses on efficient methods for checking dynamic integrity constraints in databases. Past Temporal Logic and Past Metric Temporal Logic are proposed as constraint languages, making it possible to formulate both qualitative and quantitative temporal conditions. The project includes the development and the implementation of a method to reduce dynamic integrity checking to static integrity checking. If this method is used, past database states do not have to be stored for the purpose of dynamic integrity checking. Instead, compressed historical information is stored in every database state as auxiliary relations. The definitions of the needed auxiliary relations are automatically derived from the constraints. Techniques that optimize constraint checking and issues that arise from the integration of this new method with existing database management systems will also be addressed. The proposed research will significantly enlarge the application scope of database management systems and will make it easier to integrate these systems with real-time processes.