Identifying Extended Entity-Relationship Object Structures in Relational Schemas
IEEE Transactions on Software Engineering
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Incomplete object—a data model for design and planning applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The design of relational databases
The design of relational databases
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Complexity tailored design: a new design methodology for databases with incomplete information
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Referential actions as logical rules
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SQL:1999: understanding relational language components
SQL:1999: understanding relational language components
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
DATALOG Queries with Stratified Negation and Choice: from P to DP
ICDT '95 Proceedings of the 5th International Conference on Database Theory
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Condensed Representation of Database Repairs for Consistent Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Query Answering in Information Systems with Integrity Constraints
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
Integrating data from possibly inconsistent databases
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Journal of Computer and System Sciences - Special issue on PODS 2000
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
A cost-based model and effective heuristic for repairing constraints by value modification
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
ConQuer: efficient management of inconsistent databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Consistent query answering in databases
ACM SIGMOD Record
Magic Sets and their application to data integration
Journal of Computer and System Sciences
First-order query rewriting for inconsistent databases
Journal of Computer and System Sciences
Consistent data for inconsistent XML document
Information and Software Technology
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
Commonsense reasoning by distance semantics
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Improving data quality: consistency and accuracy
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Dependencies revisited for improving data quality
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Consistent Query Answering: The First Ten Years
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Repair checking in inconsistent databases: algorithms and complexity
Proceedings of the 12th International Conference on Database Theory
Consistent query answering under primary keys: a characterization of tractable queries
Proceedings of the 12th International Conference on Database Theory
On approximating optimum repairs for functional dependency violations
Proceedings of the 12th International Conference on Database Theory
Distance-Based Non-Deterministic Semantics
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
On the consistent rewriting of conjunctive queries under primary key constraints
Information Systems
Mining Violations to Relax Relational Database Constraints
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
Consistent query answers in the presence of universal constraints
Information Systems
Querying incomplete data over extended er schemata
Theory and Practice of Logic Programming
Development of foundation models for Internet of Things
Frontiers of Computer Science in China
Hi-index | 0.00 |
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are limited to tuple deletions. We focus on two basic computational issues: repair checking (is a database instance a repair of a given database?) and consistent query answers [in: ACM Symposium on Principles of Database Systems (PODS), 1999, 68] (is a tuple an answer to a given query in every repair of a given database?). We study the computational complexity of both problems, delineating the boundary between the tractable and the intractable cases. We consider denial constraints, general functional and inclusion dependencies, as well as key and foreign key constraints. Our results shed light on the computational feasibility of minimal-change integrity maintenance. The tractable cases should lead to practical implementations. The intractability results highlight the inherent limitations of any integrity enforcement mechanism, e.g., triggers or referential constraint actions, as a way of performing minimal-change integrity maintenance.