Abstract
We demonstrate that many, though not all integrity checking methods are able to tolerate inconsistency, without having been aware of it. We show that it is possible to use them to beneficial effect and without further ado, not only for preserving integrity in consistent databases, but also in databases that violate their constraints. This apparently relaxed attitude toward integrity and inconsistency stands in contrast to approaches that are much more cautious wrt the prevention, identification, removal, repair and tolerance of inconsistent data that violate integrity. We assess several well-known methods in terms of inconsistency tolerance and give examples and counter-examples thereof.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases (1995)
Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp. 68–79. ACM Press, New York (1999)
Bertossi, L.E., Chomicki, J.: Query answering in inconsistent databases. In: Logics for Emerging Applications of Databases, pp. 43–83 (2003)
Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: Proceedings of VLDB 1990, pp. 566–577. Morgan Kaufmann, San Francisco (1990)
Chang, C.L., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)
Christiansen, H., Martinenghi, D.: Incremental integrity checking: Limitations and possibilities. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol. 3835, pp. 712–727. Springer, Heidelberg (2005)
Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae 71(4), 371–417 (2006)
Decker, H.: Integrity enforcement on deductive databases. In: Proceedings of EDS 1986, pp. 381–395. Benjamin/Cummings (1987)
Decker, H.: Translating advanced integrity checking technology to SQL. In: Database integrity: Challenges and solutions, pp. 203–249. Idea Group (2002)
Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1), 44–51 (2000)
Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems (in press)
Grant, J., Minker, J.: Integrity constraints in knowledge based systems. In: Knowledge Engineering Vol II, Applications, pp. 1–25. McGraw-Hill, New York (1990)
Gupta, A., Mumick, I.S. (eds.): Materialized views: Techniques, implementations, and applications. MIT Press, Cambridge (1999)
Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proceedings of PODS 1994, pp. 45–55. ACM Press, New York (1994)
Henschen, L., McCune, W., Naqvi, S.: Compiling constraint-checking programs from first-order formulas. In: Advances In Database Theory, vol. 2, pp. 145–169. Plenum Press, New York (1984)
Hsu, A., Imielinski, T.: Integrity checking for multiple updates. In: Navathe, S.B. (ed.) Proceedings of SIGMOD 1985, pp. 152–168. ACM Press, New York (1985)
Kowalski, R.A., Sadri, F., Soper, P.: Integrity checking in deductive databases. In: Proceedings of VLDB 1987, pp. 61–69. Morgan Kaufmann, San Francisco (1987)
Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: VLDB 1996, pp. 495–505. Morgan Kaufmann, San Francisco (1996)
Leuschel, M., de Schreye, D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP 36(2), 149–193 (1998)
Lloyd, J.W., Sonenberg, L., Topor, R.W.: Integrity constraint checking in stratified databases. JLP 4(4), 331–343 (1987)
Martinenghi, D., Christiansen, H., Decker, H.: Integrity checking and maintenance in relational and deductive databases, and beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, ch. X, page to appear. Idea Group Publishing (2006)
Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)
Olivé, A.: Integrity constraints checking in deductive databases. In: Proceedings of VLDB 1991, pp. 513–523. Morgan Kaufmann, San Francisco (1991)
Qian, X.: An effective method for integrity constraint simplification. In: ICDE 1988, pp. 338–345. IEEE Computer Society Press, Los Alamitos (1988)
Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Foundations of Deductive Databases and Logic Programming, pp. 313–362. Kaufmann, Los Altos (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Decker, H., Martinenghi, D. (2006). A Relaxed Approach to Integrity and Inconsistency in Databases. In: Hermann, M., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2006. Lecture Notes in Computer Science(), vol 4246. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11916277_20
Download citation
DOI: https://doi.org/10.1007/11916277_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48281-9
Online ISBN: 978-3-540-48282-6
eBook Packages: Computer ScienceComputer Science (R0)