Local Verification of Global Integrity Constraints in Distributed Databases

ACM SIGMOD Record

Volumn 22, Issue 2, 1993, Pages 49-58

  Gupta, Ashish ^a   Widom, Jennifer ^b  

^a STANFORD UNIVERSITY   (United States)

^b IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER NETWORKS; CONSTRAINT THEORY; DATA ACQUISITION; DATA PROCESSING; MANAGEMENT INFORMATION SYSTEMS; OPTIMIZATION; RELATIONAL DATABASE SYSTEMS;

ACCESSING REMOTE DATA; CONSTRAINT SPANNING MULTIPLE DATABASE; DISTRIBUTED CONCURRENCY CONTROL; GLOBAL INTEGRITY CONSTRAINT; INTEGRITY CONSTRAINT VERIFICATION; MULTIPLE INTERFACE LAYER; NETWORK COMMUNICATION COST; TIGHTLY-COUPLED PARALLEL DATABASE;

DISTRIBUTED DATABASE SYSTEMS; DATABASE SYSTEMS;

ACCESSING DATA; CONDITION; CONSTRAINT VERIFICATIONS; DISTRIBUTED DATABASE; GLOBAL CONSTRAINTS; GLOBAL INTEGRITY; INTEGRITY CONSTRAINTS; LOCAL DATA; OPTIMISATIONS; REMOTE DATA;

EID: 0027621749     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/170036.170048     Document Type: Article

References (22)

1. J. A. Blakeley, N. Coburn, and P. Larson. Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. ACM Transactions on Database Systems, 14(3):369-400, 1989.
2. P. A. Bernstein, B. T. Blaustein, and E. M. Clarke. Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. In Proceedings of the Sixth conference on Very Large Data Bases, pages 126-136, 1980.
3. P. A. Bernstein and B. T. Blaustein. Fast Methods for Testing Quantified Relational Calculus Assertions. In Proceedings of ACM SIGMOD 1982 International Conference on Management of Data, pages 39-50, 1982.
4. D. Barbara and H. Garcia-Molina. The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems. In Extending Database Technology Conference, LNCS 580, pages 373-397, Vienna, March, 1992.
5. B. T. Blaustein. Enforcing Database Assertions: Techniques and Applications. PhD thesis, Harvard University, Cambridge, Massachusetts, Division of Applied Sciences, 1981.
6. F. Bry, R. Manthey, and B. Martens. Integrity Verification in Knowledge Bases. In Logic Programming, LNAI 592 (subseries of LNCS), pages 114-139, 1992.
7. S. Ceri and F. Garzotto. Specification and Management of Database Integrity Constraints through Logic Programming. Technical Report 88-025, Dipartimento Di Elettronica - Politecnico Di Milano, 1992.
8. S. Ceri and G. Gottlob. Translating SQL into Relational Algebra: Optimization, Semantics and Equivalence of SQL Queries. IEEE Transaction of Software Engineering, 11(4):324-345, April 1985.
9. S. Ceri and G. Pelagatti. Distributed Databases: Principles and Systems. McGraw-Hill Book Company, New York, N.Y., 1984.
10. A. K. Chandra. Theory of Database Queries. In Proceedings of ACM SIGMOD 1988 International Conference on Management of Data, pages 1-9. ACM, 1988.
11. E. Davis. Constraint Propagation with Interval Labels. Artificial Intelligence, (32):281-331, 1987.
12. C. Elkan. Independence of Logic Database Queries and Updates. In Proceedings of the Ninth Symposium on Principles of Database Systems (PODS), pages 154-160, Nashville, TN, 1990. ACM SIGACT-SIGMOD-SIGART.
13. R. Fagin. Horn Clauses and Database Dependencies. Journal of the ACM, 4(29):952-985, 1982.
14. A. Gupta and J. D. Ullman. Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Checking. In Workshop on Deductive Databases, JICLSP, 1992.
15. A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. Technical Report, Stanford University, 1993.
16. R. Kowalski, F. Sadri, and P. Soper. Integrity Checking in Deductive Databases. In Proceedings of the Thirteenth International Conference on Very Large Databases (VLDB), pages 61-69, 1987.
17. V. Kuchenhoff. On the Efficient Computation of the Difference Between Consecutive Database States. In Second International Conference, Deductive and Object-Oriented Databases, LNCS 566, pages 478-502, 1991.
18. J.W. Lloyd, E. A. Sonenberg, and R. W. Topor. Integrity Constraint Checking in Stratified Databases. Journal of Logic Programming, 4(4):331-343, 1987.
19. J. M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18(3):227-253, 1982.
20. T. M. Oszu and P. Valduriez. Principles of Distributed Database Systems. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
21. J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, New York, 1989.
22. A. V. Gelder and R W. Topor. Safety and Translation of Relational Calculus Queries. ACM Transactions on Database Systems, 16(3):235-278, June 1991.