Abstract
We consider the problem of incrementally checking global integrity constraints without using all the relations under constraint. In many application areas such as collaborative design, mobile computing and enterprise information systems, total data availability cannot be assumed. Even if all base data is available, some of it may incur such a high cost that its use should only be considered as a last resort. Without looking at all the base data, how can one meaningfully check a constraint for violation? When the constraint is known to be satisfied prior to the update, the state of the relations that are available (aka local) can in principle be used to infer something about the relations that are not available (aka remote). This observation is the basis for the existence of tests that guarantee that data integrity is preserved under a given update, without looking at all the base data.
In order to make integrity maintenance practical, the challenge is to find those tests that are most general (we call them Complete Local Tests or CLT's in short) and that are efficient to generate and execute. This paper addresses the problem of finding efficient CLT's for an important class of constraints that are very common in practice: constraints expressible as conjunctive queries with negated subgoals (abbreviated CQC¬.) We show that for single updates, all CQC¬ constraints admit a CLT that can be expressed in nonrecursive Datalog¬ when the predicates for the remote relations are not repeated in the constraint query. We then extend this result to a larger class of constraints and to certain sets of updates.
This work was supported by ARO grant DAAH04-95-1-0192.
Preview
Unable to display preview. Download preview PDF.
References
Gupta A.: Partial Information Based Integrity Constraint Checking. PhD Thesis, Stanford University, November 1994.
Gupta A. and Blakeley J. A.: Using Partial Information to Update Materialized Views. In Information Systems, 20(8), pp. 641–662, 1995.
Gupta A., Sagiv Y., Ullman J. D. and Widom J.: Constraint Checking with Partial Information. Proc. 13th ACM Symp. on PODS, 1994, pp. 45–55.
Huyn N.: Testing CQC¬ constraints under limited data access. Unpublished Technical Report available as URL http://www-db.stanford.edu/ pub/papers/cqcnclt-tr.ps.
Huyn N.: Efficient View Self-Maintenance. Proc. ACM Workshop on Materialized Views, 1996, pp. 17–25.
Levy A. and Sagiv Y.: Queries Independent of Updates. Proc. 19th International Conf. on Very Large Data Bases, 1993, pp. 171–181.
Tiwari S. and Howard H. C.: Constraint Management on Distributed AEC Databases. Fifth International Conf. on Computing in Civil and Building Engineering, ASCE, 1993, pp. 1147–1154.
Tompa F. W. and Blakeley J. A.: Maintaining Materialized Views Without Accessing Base Data. In Information Systems, 13(4), pp. 393–406, 1988.
Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huyn, N. (1996). Efficient complete local tests for conjunctive query constraints with negation. In: Afrati, F., Kolaitis, P. (eds) Database Theory — ICDT '97. ICDT 1997. Lecture Notes in Computer Science, vol 1186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62222-5_38
Download citation
DOI: https://doi.org/10.1007/3-540-62222-5_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62222-2
Online ISBN: 978-3-540-49682-3
eBook Packages: Springer Book Archive