Abstract
Complete checks of database integrity constraints may be prohibitively time consuming, and several methods have been suggested for producing simplified checks for each update. The present approach introduces a set of transformation operators that apply to database integrity constraints with each operator representing a concise, semantics-preserving operation. These operators are applied in a procedure producing simplified constraints for parametric transaction patterns, which then can be instantiated and checked for consistency at run-time but before any transaction is executed. The operators provide a flexibility for other database enhancements and the work may also be seen as more systematic and general when compared with other approaches. The framework is formulated with first-order clause logic but with the perspective of being applied with present-day database technology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction. In: Larsen, H.L., Kacprzyk, J., Zadrozny, S., Andreasen, T., Christiansen, H. (eds.) Proceedings of FQAS 2000, Flexible Query Answering Systems. Advances in Soft Computing series, pp. 141–152. Physica-Verlag (Springer), Heidelberg (2000)
Christiansen, H.: Automated reasoning with a constraint-based metainterpreter. Journal of Logic Programming 37(1-3), 213–253 (1998)
Christiansen, H.: Integrity constraints and constraint logic programming (Invited talk). In: Proceedings of the 12th International Conference on Application of Prolog, INAP 1999, pp. 5–12. Science University of Tokyo, Japan (1999)
Chakravarthy, U., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Transactions on Database Systems (TODS) 15(2), 162–207 (1990)
Christiansen, H., Martinenghi, D.: Symbolic constraints for meta-logic programming. Journal of Applied Artificial Intelligence 14, 345–367 (2000)
Christiansen, H., Martinenghi, D.: Simplification of integrity constraints for data integration. In: Seipel, D., Turull-Torres, J.-M. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 31–48. Springer, Heidelberg (2004)
Decker, H.: Translating Advanced Integrity Checking Technology to SQL. In: Doorn, J., Rivero, L.C. (eds.) Database Integrity: Challenges and Solutions, pp. 203–249. Idea Group, USA (2002)
Decker, H., Celma, M.: A slick procedure for integrity checking in deductive databases. Logic Programming. In: Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, pp. 456–469. MIT Press, Cambridge (1994)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity Constraints: Semantics and Applications. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information System, pp. 265–306. Kluwer, Dordrecht (1998)
Grant, J., Minker, J.: Integrity Constraints in Knowledge Based Systems. In: Adeli, H. (ed.) Knowledge Engineering. Applications, vol. II, pp. 1–25. McGraw-Hill, New York (1990)
Grant, J., Minker, J.: The Impact of Logic Programming on Databases. Communications of the ACM 35(3), 66–81 (1992)
Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)
Henschen, L., McCune, W., Naqvi, S.: Compiling Constraint-Checking Programs from First-Order Formulas. In: Gallaire, H., Nicolas, J.-M., Minker, J. (eds.) Advances in Database Theory, vol. 2, pp. 145–169. Plenum Press, New York (1984)
Leuschel, M., De Schreye, D.: Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. Journal of Logic Programming 36(2), 149–193 (1998)
Lee, S.Y., Ling, T.W.: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. In: Vijayaraman, T.M., et al. (eds.) Proc. of 22th International Conference on Very Large Data Bases (VLDB 1996), Mumbai, Bombay, September 3-6, pp. 495–505. Morgan Kaufmann, India (1996)
Lloyd, J., Sonenberg, L., Topor, R.: Integrity Constraint Checking in Stratified Databases. Journal of Logic Programming 4(4), 331–343 (1987)
Lloyd, J., Topor, R.: A Basis for Deductive Database Systems. Journal of Logic Programming 2(2), 93–109 (1985)
Martinenghi, D.: A Simplification Procedure for Integrity Constraints. World Wide Web (2003), http://www.dat.ruc.dk/~dm/spic/index.html
Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18, 227–253 (1982)
Nilsson, U., Małuzyński, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons Ltd., Chichester (1995)
Qian, X.: An Effective Method for Integrity Constraint Simplification. In: Proc. of the Fourth International Conference on Data Engineering, pp. 338–345. IEEE Computer Society, Los Alamitos (1988)
Sadri, F., Kowalski, R.: A Theorem-Proving Approach to Database Integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, Kaufmann, Los Altos, CA, pp. 313–362 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christiansen, H., Martinenghi, D. (2004). Simplification of Database Integrity Constraints Revisited: A Transformational Approach. In: Bruynooghe, M. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2003. Lecture Notes in Computer Science, vol 3018. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25938-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-25938-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22174-6
Online ISBN: 978-3-540-25938-1
eBook Packages: Springer Book Archive