Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics
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.
KeywordsIntegrity Constraint General Query Strong Integrity Conjunctive Query Query Answering
Unable to display preview. Download preview PDF.
- 1.Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. 18th PODS, pp. 68–79. ACM Press, New York (1999)Google Scholar
- 8.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
- 10.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)Google Scholar
- 12.Kowalski, R.: Predicate Logic as a Programming Language. In: Proc. IFIP 1974, pp. 569–574 (1974)Google Scholar