Abstract
Because of extant inconsistencies in the database, answers to queries may or may not be in accordance with the intended semantics of stored data, as encoded by integrity constraints. Also updates may or may not be in accordance with the integrity constraints. Approaches to query answering usually differ from approaches to check updates for integrity preservation, even more so if they have to cope with extant inconsistencies. We present a novel, cause-based approach that improves inconsistency-tolerant query answering and integrity checking, and provides a uniform foundation for both.
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
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. 18th PODS, pp. 68–79. ACM Press, New York (1999)
Arora, T., Ramakrishnan, R., Roth, W., Seshadri, P., Srivastava, D.: Explaining program execution in deductive systems. In: Ceri, S., Tsur, S., Tanaka, K. (eds.) DOOD 1993. LNCS, vol. 760, pp. 101–119. Springer, Heidelberg (1993)
Bertossi, L.: Consistent query answering in databases. SIGMOD Record 35(2), 68–76 (2006)
Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)
Christiansen, H., Martinenghi, D.: On simplification of database integrity con-straints. Fundamenta Informaticae 71(4), 371–417 (2006)
Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1978)
Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. To appear in IEEE Transactions of Knowledge and Data Engineering, Abstract and preprints at, http://www.computer.org/portal/web/csdl/doi/10.1109/TKDE.2010.87
Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009 Workshops. LNCS, vol. 5833, pp. 212–221. Springer, Heidelberg (2009)
Decker, H., Martinenghi, D.: Classifying integrity checking methods with regard to inconsistency tolerance. In: Proc. 10th PPDP, pp. 195–204. ACM Press, New York (2008)
Decker, H., Martinenghi, D.: A relaxed approach to integrity and inconsistency in databases. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 287–301. Springer, Heidelberg (2006)
Kowalski, R.: Predicate Logic as a Programming Language. In: Proc. IFIP 1974, pp. 569–574 (1974)
Liebowitz, J. (ed.): Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)
Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Decker, H. (2010). Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems, OTM 2010. OTM 2010. Lecture Notes in Computer Science, vol 6427. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16949-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-16949-6_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16948-9
Online ISBN: 978-3-642-16949-6
eBook Packages: Computer ScienceComputer Science (R0)