Avenues to flexible data integrity checking

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn , Issue , 2006, Pages 425-429

  Decker, Hendrik ^a   Martinenghi, Davide ^b  

^a INSTITUTO DE TECNOLOGÍA QUÍMICA   (Spain)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA INTEGRITY; DEDUCTIVE DATABASE; INTEGRITY CHECKING; INTEGRITY CONSTRAINTS;

EXPERT SYSTEMS;

DATABASE SYSTEMS;

EID: 73649146128     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. M. Arenas, L. E. Bertossi, and J. Chomicki. Querying database repairs using logic programs with exceptions. In FQAS 2000, pages 27-41. Physica-Verlag Heidelberg New York, A Springer-Verlag Company, 2000.
3. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems (TODS), 19(3):367-422, 1994.
4. S. Ceri and J. Widom. Deriving production rules for constraint maintainance. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings, pages 566-577. Morgan Kaufmann, 1990.
5. H. Christiansen and D. Martinenghi. On simplification of database integrity constraints. Fundamenta Informaticae, 2006. To appear. See [15].
6. H. Decker and D. Martinenghi. Integrity checking in inconsistent databases is not uncertain. Submitted to The Second Twente Data Management Workshop - TDM'06 Uncertainty in Databases.
7. G. Dong and J. Su. Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record, 29(1):44-51, 2000.
8. J. Grant and J. Minker. Integrity constraints in knowledge based systems. In H. Adeli, editor, Knowledge Engineering Vol II, Applications, pages 1-25. McGraw-Hill, 1990.
9. A. Gupta and I. S. Mumick, editors. Materialized views: techniques, implementations, and applications. MIT Press, 1999.
10. A. Gupta, Y. Sagiv, J. D. Ullman, and J. Widom. Constraint checking with partial information. In Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, pages 45-55. ACM Press, 1994.
11. A. Hsu and T. Imielinski. Integrity checking for multiple updates. In S. B. Navathe, editor, Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 28-31, 1985, pages 152-168. ACM Press, 1985.
12. R. A. Kowalski. Logic for Problem Solving. Elsevier, 1979.
13. M. Leuschel and D. de Schreye. Creating specialised integrity checks through partial evaluation of metainterpreters. Journal of Logic Programming, 36(2):149-193, 1998.
14. J. W. Lloyd, L. Sonenberg, and R. W. Topor. Integrity constraint checking in stratified databases. Journal of Logic Programming, 4(4):331-343, 1987.
15. 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.
16. D. Martinenghi, H. Chtistiansen, and H. Decker. Integrity checking and maintenance in relational and deductive databases, and beyond. In Z. Ma, editor, Intelligent Databases: Technologies and Applications, page to appear. Idea Group Publishing, 2006.
17. J.-M. Nicolas. Logic for improving integrity checking in relational data bases. Acta Informatica, 18:227-253, 1982.
18. X. Qian. An effective method for integrity constraint simplification. In Proceedings of the Fourth International Conference on Data Engineering, February 1-5, 1988, Los Angeles, California, USA, pages 338-345. IEEE Computer Society, 1988.
19. F. Sadri and R. Kowalski. A theorem-proving approach to database integrity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 313-362. Morgan Kaufmann, Los Altos, CA, 1988.