Minimal-change integrity maintenance using tuple deletions
- 1 February 2005
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 197 (1-2), 90-121
- https://doi.org/10.1016/j.ic.2004.04.007
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- A logical framework for querying and repairing inconsistent databasesIEEE Transactions on Knowledge and Data Engineering, 2003
- Understanding the global semantics of referential actions using logic rulesACM Transactions on Database Systems, 2002
- Answering queries using views: A surveyThe VLDB Journal, 2001
- Complexity and expressive power of logic programmingACM Computing Surveys, 2001
- Recursive query plans for data integrationThe Journal of Logic Programming, 2000
- Datalog with non-deterministic choice computes NDB-PTIMEThe Journal of Logic Programming, 1998
- Complexity Tailored Design: A New Design Methodology for Databases With Incomplete InformationJournal of Computer and System Sciences, 1995
- On the complexity of propositional knowledge base revision, updates, and counterfactualsArtificial Intelligence, 1992
- COMBINING KNOWLEDGE BASES CONSISTING OF FIRST-ORDER THEORIESComputational Intelligence, 1992
- Identifying extended entity-relationship object structures in relational schemasIEEE Transactions on Software Engineering, 1990