Efficient complete local tests for conjunctive query constraints with negation
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.
KeywordsIntegrity Constraint Collaborative Design Local Cover Conjunctive Query Complete Test
Unable to display preview. Download preview PDF.
- [G94]Gupta A.: Partial Information Based Integrity Constraint Checking. PhD Thesis, Stanford University, November 1994.Google Scholar
- [GB95]Gupta A. and Blakeley J. A.: Using Partial Information to Update Materialized Views. In Information Systems, 20(8), pp. 641–662, 1995.Google Scholar
- [GSUW94]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.Google Scholar
- [H96atr]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.Google Scholar
- [H96b]Huyn N.: Efficient View Self-Maintenance. Proc. ACM Workshop on Materialized Views, 1996, pp. 17–25.Google Scholar
- [LS93]Levy A. and Sagiv Y.: Queries Independent of Updates. Proc. 19th International Conf. on Very Large Data Bases, 1993, pp. 171–181.Google Scholar
- [TH93]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.Google Scholar
- [TB88]Tompa F. W. and Blakeley J. A.: Maintaining Materialized Views Without Accessing Base Data. In Information Systems, 13(4), pp. 393–406, 1988.Google Scholar
- [Ull88]Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988.Google Scholar