Getting rid of straitjackets for flexible integrity checking

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

Volumn , Issue , 2007, Pages 360-364

  Decker, Hendrik ^a   Martinenghi, Davide ^b  

^a INSTITUTO TECNOLÓGICO DE INFORMÁTICA   (Spain)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DECISION SUPPORT SYSTEMS; EXPERT SYSTEMS; PROBLEM SOLVING; QUALITY ASSURANCE; TECHNICAL PRESENTATIONS;

INTEGRITY CHECKING; PRE-REQUISITES;

DATABASE SYSTEMS;

EID: 47849089957     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2007.54     Document Type: Conference Paper

References (15)

1. S. Abiteboul, V. Vianu. A transaction-based approach to relational database specification. JACM 36(4):758-789, 1989.
2. S. Abiteboul et al. The Lowell database research self-assessment. Commun. ACM 48(5):111-118, 2005.
3. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3):367-422, 1994.
4. H. Christiansen, D. Martinenghi. On simplification of database integrity constraints. Fundamenta Informaticae 71(4):371-417, 2006.
5. S. Das. Deductive Databases and Logic Programming, Addison-Wesley, 1992.
6. H. Decker. One abductive logic programming procedure for two kinds of updates. Proc. DYNAMICS (small ILPS 1997), 162-176. http://www.iti.upv.es/~hendrik/#Dyn
7. H. Decker: On generalized cover axioms. Proc 8th ICLP, 693-707, MIT Press, 1991.
8. H. Decker, D. Martinenghi. A relaxed approach to integrity and inconsistency in databases. Proc. 13th LPAR, 287-301, Springer LNCS 4246, 2006.
9. M. Leuschel, D. de Schreye. Creating specialised integrity checks through partial evaluation of meta-interpreters. Journal of Logic Programming 36(2):149-193, 1998.
10. J. Lloyd, L. Sonenberg, R. Topor. Integrity constraint checking in stratified databases. Journal of Logic Programming 4(4):331-343, 1987.
11. D. Martinenghi. Simplification of integrity constraints with aggregates and arithmetic built-ins. Proc. 6th FQAS, 348-361, Springer LNCS 3055, 2004.
12. D. Martinenghi, H. Christiansen, H. Decker. Integrity checking and maintenance in relational and deductive databases and beyond. In Z. Ma (ed), Intelligent Databases: Technologies and Applications, 238-285. Idea Group, 2006.
13. A. Pedersen. Oracle constraints on views. http://www.databasedesign- resource.com/constraints-on-views.html (last viewed 29/05/2007).
14. E. Teniente, T. Urpí. On the abductive or deductive nature of database schema validation and update processing problems. TPLP 3(3):287-327, 2003.
15. J. Ullman, J. Widom: A First Course in Database Systems. Prentice-Hall, 2001.