Simplification of database integrity constraints revisited: A transformational approach

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

Volumn 3018, Issue , 2004, Pages 178-197

  Christiansen, Henning ^a   Martinenghi, Davide ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DATABASE INTEGRITY CONSTRAINTS; DATABASE TECHNOLOGY; FIRST ORDER; RUNTIMES; TRANSACTION PATTERNS; TRANSFORMATION OPERATORS; TRANSFORMATIONAL APPROACH;

DATABASE SYSTEMS;

EID: 26844575763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25938-1_16     Document Type: Article

References (23)

1. Abdennadher, S., Christiansen, H. (2000). An Experimental CLP Platform for Integrity Constraints and Abduction. Proceedings of FQAS2000, Flexible Query Answering Systems, pp. 141-152, Eds. Larsen, H.L., Kacprzyk, J., Zadrozny, S., Andreasen, T., Christiansen, H., Advances in Soft. Computing series, Physica-Verlag (Springer).
2. Christiansen, H. (1998). Automated reasoning with a constraint-based metainterpreter, Journal of Logic Programming, Vol 37(1-3) Oct-Dec, pp. 213-253.
3. Christiansen, H. (1999). Integrity constraints and constraint logic programming (Invited talk). INAP'99; Proceedings of the 12th International Conference on Application of Prolog, Science University of Tokyo, Japan, pp. 5-12.
4. Chakravarthy, U., Grant, J., Minker, J. (1990). Logic-based approach to semantic query optimization. ACM Transactions on Database Systems (TODS) 15(2), pp. 162-207, ACM Press.
5. Christiansen, H., Martinenghi, D. (2000). Symbolic constraints for meta-logic programming, Journal of Applied Artificial Intelligence, vol. 14, pp. 345-367.
6. Christiansen, H., Martinenghi, D. (2004). Simplification of integrity constraints for data integration. Proc. Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS), February 17-20, 2004, Vienna, Austria. Lecture Notes in Computer Science, Eds. D. Seipel, J.-M. Turull-Torres, vol. 2942, pp. 31-48.
7. Decker, H. (2002). Translating Advanced Integrity Checking Technology to SQL. Database Integrity: Challenges and Solutions, Eds. J. Doom, L.C.Rivero, Idea Group, pp. 203-249.
8. Decker, H., Celma, M. (1994). A slick procedure for integrity checking in deductive databases. Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, 1994, MIT Press, pp. 456-469.
9. Dijkstra, E.W. (1976). A Discipline of Programming. Prentice-Hall.
10. Godfrey, P., Grant, J., Gryz, J., Minker, J. (1998). Integrity Constraints: Semantics and Applications. Logics for Databases and Information System, Eds. Chomicki, J. Saake, G., Kluwer, pp. 265-306.
11. Grant, J., Minker, J. (1990). Integrity Constraints in Knowledge Based Systems. In Knowledge Engineering Vol II, Applications. H. Adeli, Ed., McGraw-Hill, pp. 1-25.
12. Grant, J., Minker, J. (1992). The Impact of Logic Programming on Databases. Communications of the ACM 35(3), pp. 66-81.
13. Hoare, C.A.R. (1969). An axiomatic basis for computer programming. Communications of the ACM 12, no. 10. pp. 576-580.
14. Henschen, L., McCune, W., Naqvi, S. (1984). Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Database Theory, volume 2. Eds. Gallaire, H., Nicolas, J.-M., Minker, J., Plenum Press, New York, pp. 145-169.
15. Leuschel, M., De Schreye, D. (1998). Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. Journal of Logic Programming 36(2), pp. 149-193.
16. Lee, S. Y., Ling, T. W. (1996). Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. Proc. of 22th International Conference on Very Large Data Bases (VLDB'96), September 3-6, 1996, Mumbai (Bombay), eds. Vijayaraman, T. M. et al., India. Morgan Kaufmann, pp. 495-505.
17. Lloyd, J., Sonenberg, L., Topor, R. (1987). Integrity Constraint Checking in Stratified Databases. Journal of Logic Programming 4(4), pp. 331-343.
18. Lloyd, J., Topor, R. (1985). A Basis for Deductive Database Systems. Journal of Logic Programming 2(2), pp. 93-109.
19. Martinenghi, D. (2003). A Simplification Procedure for Integrity Constraints. World Wide Web, http://www.dat.ruc.dk/~dm/spic/index.html.
20. Nicolas, J.-M. (1982). Logic for Improving Integrity Checking in Relational Data Bases., Acta Informatica 18, pp. 227-253.
21. Nilsson, U., Maluzyński, J. (1995). Logic, Programming and Prolog (2nd ed.), John Wiley & Sons Ltd.
22. Qian, X. (1988). An Effective Method for Integrity Constraint Simplification. Proc. of the Fourth International Conference on Data Engineering, IEEE Computer Society, pp. 338-345.
23. Sadri, F., Kowalski, R. (1988). A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming, Ed. Minker, J., Kaufmann, Los Altos, CA, pp. 313-362.