Research sponsored by NSF grants IRI-91-16646 and IRI-92-23405, by ARO grant DAAL03-91-G-0177, by ARPA contract F33615-93-1-1339, and by a grant of Mitsubishi Electric Corp.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Jose A. Blakeley and F. W. Tompa. Maintaining materialized views without accessing base data. Information Systems, 13(4):393–406, 1988.
Peter O. Buneman and Eric K. Clemons. Efficiently Monitoring Relational Databases. In ACM Transactions on Database Systems, Vol 4, No. 3, 1979, 368–382.
Ashok K. Chandra and P.M. Merlin. Optimal Implementation on Conjunctive Queries in Relational Databases. In 9th ACM Symposium on Theory of Computing, pages 77–90, ACM, 1977.
C. Elkan. Independence of logic database queries and updates. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 154–160, 1990.
Ashish Gupta, Inderpal Singh Mumick, and V. S. Subrahmanian. Maintaining Views Incrementally. In SIGMOD 1993, pages 157–167.
Ashish Gupta, Shuky Sagiv, Jeffrey D. Ullman, and Jennifer Widom. Constraint Checking with Partial Information. In PODS 1994.
Ashish Gupta and Sanjai Tiwari. Distributed Constraint Management for Collaborative Engineering Databases. In Proceedings of the Second International Conference on Information and Knowledge Management (CIKM), Washington DC, November 1993.
Ashish Gupta and Jennifer Widom. Local Checking of Global Integrity Constraints. In Proceedings of ACM SIGMOD 1993 International Conference on Management of Data, pages 49–59.
John V. Harrison and Suzanne Dietrich. Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach. In Workshop on Deductive Databases, JICLSP 1992, pages 56–65, 1992.
A. Klug. On Conjunctive Queries Containing Inequalities. Journal of the ACM, 1(35): 146–160, 1988.
A.Y. Levy and Y. Sagiv. Queries independent of updates. In Proceedings of the Nineteenth International Conference on Very Large Data Bases, pages 171–181, Dublin, Ireland, August 1993.
J. M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta lnformatica, 18(3):227–253, 1982.
Sanjai Tiwari and H. C. Howard. Constraint Management on Distributed AEC Databases. In Fifth International Conference on Computing in Civil and Building Engineering, ASCE, 1993.
Xiaolei Qian and Gio Wiederhold. Incremental Recomputation of Active Relational Expressions. In TKDE, 1991.
Yehoshua Sagiv and Mihalis Yannakakis. Equivalences Among Relational Expressions with the Union and Difference Operators. Journal of the ACM, 4(27):633–655, 1980.
J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, New York, 1989.
Toni Urpi and Antoni Olive. A method for change computation in deductive databases. In Proceedings of the Eighteenth International Conference on Very Large Databases (VIDB), pages 225–237, Vancouver, British Columbia, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J. (1994). Efficient and complete tests for database integrity constraint checking. In: Borning, A. (eds) Principles and Practice of Constraint Programming. PPCP 1994. Lecture Notes in Computer Science, vol 874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58601-6_99
Download citation
DOI: https://doi.org/10.1007/3-540-58601-6_99
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58601-2
Online ISBN: 978-3-540-49032-6
eBook Packages: Springer Book Archive