Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
An enhanced inference mechanism for generating relational algebra queries
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Specification and verification of abstract database types
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
Automated reasoning about database systems refers to using a program or programs to draw inferences about properties of systems and can be used by designers to analyze system designs, by query processors to optimize queries, and by transaction compilers or interpreters to optimize the checking of integrity constraints. Automated reasoning can also be used as logic programming and combined with database processing in ways that promise to be very powerful in dealing with problems currently intractable. In these efforts, complexity will be a ignificant problem to be dealt with. We report on experience in dealing with complexity during efforts to mechanically prove properties of database systems.