Efficient and Complete Tests for Database Integrity Constraint Checking

[1]  Jennifer Widom,et al.  Constraint checking with partial information , 1994, PODS.

[2]  Ashish Gupta,et al.  Distributed constraint management for collaborative engineering databases , 1993, CIKM '93.

[3]  Alon Y. Halevy,et al.  Queries Independent of Updates , 1993, VLDB.

[4]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

[5]  Sanjai Tiwari,et al.  Constraint Management in Distributed AEC Databases , 1993 .

[6]  Antoni Olivé,et al.  A Method for Change Computation in Deductive Databases , 1992, VLDB.

[7]  John V. Harrison,et al.  Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach , 1992, Workshop on Deductive Databases, JICSLP.

[8]  Gio Wiederhold,et al.  Incremental Recomputation of Active Relational Expressions , 1991, IEEE Trans. Knowl. Data Eng..

[9]  Charles Elkan,et al.  Independence of logic database queries and update , 1990, PODS '90.

[10]  Frank Wm. Tompa,et al.  Maintaining materialized views without accessing base data , 1988, Inf. Syst..

[11]  Anthony C. Klug.  On conjunctive queries containing inequalities , 1988, JACM.

[12]  Mihalis Yannakakis,et al.  Equivalences Among Relational Expressions with the Union and Difference Operators , 1980, J. ACM.

[13]  Eric K. Clemons,et al.  Efficiently monitoring relational databases , 1979, ACM Trans. Database Syst..

[14]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[15]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.