Incremental integrity checking: Limitations and possibilities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3835 LNAI, Issue , 2005, Pages 712-727

  Christiansen, Henning ^a   Martinenghi, Davide ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATABASE SYSTEMS; LOGIC PROGRAMMING; OPTIMIZATION; PARAMETER ESTIMATION; PROBLEM SOLVING; QUERY LANGUAGES;

INCREMENTAL INTEGRITY CHECKING; QUERY CONTAINMENT; QUERY OPTIMIZATION;

SEMANTICS;

EID: 33745471616     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591191_49     Document Type: Conference Paper

References (21)

1. S.Abiteboul, R.Hull, and V.Vianu. Foundations of DatabasesAddison-Wesley, 1995.
2. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming., pages 89-148. Morgan Kaufmann, 1988.
3. S. Ceri and J. Widom. Deriving production rules for constraint maintainance. In Proceedings of VLDB 90, pages 566-577. Morgan Kaufmann, 1990.
4. U. S. Chakravarthy, J. Grant, and J. Minker. Logic-based approach to semantic query optimization. ACM Trans. on Database Syst. (TODS), 15(2): 162-207, 1990.
5. H. Decker. Translating advanced integrity checking technology to sql. In Database integrity: challenges and solutions, pages 203-249. Idea Group Publishing, 2002.
6. H. Decker and M. Celma. A slick procedure for integrity checking in deductive databases. In ICLP 94, pages 456-469. MIT Press, Cambridge, MA, 1994.
7. A. Gupta and I. S. Mumick, editors. Materialized views: techniques, implementations, and applications. MIT Press, 1999.
8. D. Kapur and P. Narendran. Np-completeness of the set unification and matching problems. In CADE, pages 489-495, 1986.
9. S. Y. Lee and T. W. Ling. Further improvements on integrity constraint checking for stratifiable deductive databases. In VLDB'96, pages 495-505. Kaufmann, 1996.
10. M. Leuschel and D. de Schreye. Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP, 36(2): 149-193, 1998.
11. J. W. Lloyd, L. Sonenberg, and R. W. Topor. Integrity constraint checking in stratified databases. JLP, 4(4):331-343, 1987.
12. D. Martinenghi. http://www.dat.ruc.dk/~dm/spic/index.html, 2005.
13. D. Martinenghi. Advanced Techniques for Efficient Data Integrity Checking. PhD thesis, Roskilde University, Denmark, in Datalogiske Skrifter, 105, http://www.ruc.dk/dat/forskning/skrifter/DS105.pdf, 2005.
14. D. Martinenghi and H. Christiansen. Efficient integrity checking for databases with recursive views. In ADBIS 05, volume 3631 of LNCS, pages 109-124. Springer, 2005.
15. J. F. Naughton, R. Ramakrishnan, Y. Sagiv, and J. D. Ullman. Efficient evaluation of right-, left-, and mult-linear rules. In SIGMOD 89, pages 235-242. ACM, 1989.
16. J.-M. Nicolas. Logic for improving integrity checking in relational data bases. Acta Informatica, 18:227-253, 1982.
17. X. Qian. An effective method for integrity constraint simplification. In ICDE 88, pages 338-345. IEEE Computer Society, 1988.
18. F. Sadri and R. Kowalski. A theorem-proving approach to database integrity. In Foundations of Deductive Databases and Logic Programming, pages 313-362. Kaufmann, Los Altos, CA, 1988.
19. R. Seljée. A new method for integrity constraint checking in deductive databases. Data Knowl Eng., 15(1):63-102, 1995.
20. R. Seljée and H. C. M. de Swart. Three types of redundancy in integrity checking: An optimal solution. Data Knowl. Eng., 30(2):135-151, 1999.
21. O. Shmueli. Decidability and expressiveness aspects of logic queries. In Proceedings of the sixth ACM PODS symposium, pages 237-249. ACM Press, 1987.