A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Supporting office document architectures with constrained types
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Resolving the tension between integrity and security using a theorem prover
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Hi-index | 0.00 |
MAINTAINING THE INTEGRITY OF DATABASES IS ONE OF THE PROMISES OF DATABASE MANAGEMENT SYSTEMS. THIS INCLUDES ASSURING THAT INTEGRITY CONSTRAINTS ARE INVARIANTS OF DATABASE TRANSACTIONS. THIS IS VERY DIFFICULT TO ACCOMPLISH EFFICIENTLY IN THE PRESENCE OF COMPLEX CONSTRAINTS AND LARGE AMOUNTS OF DATA. ONE WAY TO MINIMIZE THE AMOUNT OF PROCESSING REQUIRED TO MAINTAIN DATABASE INTEGRITY OVER TRANSACTION PROCESSING IS TO PROVE AT COMPILE-TIME THAT TRANSACTIONS CANNOT, IF RUN ATOMICALLY, DISOBEY INTEGRITY CONSTRAINTS. WE REPORT ON A SYSTEM WHICH PERFORMS SUCH VERIFICATION FOR A ROBUST SET OF CONSTRAINT AND TRANSACTION CLASSES. THE SYSTEM ACCEPTS DATABASE SCHEMAS WRITTEN IN A MORE OR LESS TRADITIONAL STYLE AND ACCEPTS PROGRAMS IN A HIGH LEVEL PROGRAMMING LANGUAGE. AUTOMATIC VERIFICATION FAST ENOUGH TO BE EFFECTIVE ON CURRENT WORKSTATION HARDWARE IS PERFORMED.