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
Logics for Emerging Applications of Databases
Logics for Emerging Applications of Databases
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
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
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
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Leveraging aggregate constraints for deduplication
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Preferred Database Repairs Under Aggregate Constraints
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Approximate Probabilistic Query Answering over Inconsistent Databases
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Conditional Dependencies: A Principled Approach to Improving Data Quality
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
An ASP-Based Data Integration System
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Analyses and Validation of Conditional Dependencies with Built-in Predicates
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
Computing repairs for inconsistent XML document using chase
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
On the consistent rewriting of conjunctive queries under primary key constraints
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Consistent query answers in inconsistent probabilistic databases
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
Disjunctive databases for representing repairs
Annals of Mathematics and Artificial Intelligence
A remark on the complexity of consistent conjunctive query answering under primary key violations
Information Processing Letters
Exploiting conflict structures in inconsistent databases
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Consistent answers to boolean aggregate queries under aggregate constraints
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Towards certain fixes with editing rules and master data
Proceedings of the VLDB Endowment
Sampling the repairs of functional dependency violations under hard constraints
Proceedings of the VLDB Endowment
Range-consistent answers of aggregate queries under aggregate constraints
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Annotation based query answer over inconsistent database
Journal of Computer Science and Technology
Proceedings of the VLDB Endowment
On the tractability and intractability of consistent conjunctive query answering
Proceedings of the 2011 Joint EDBT/ICDT Ph.D. Workshop
Cost-efficient repair in inconsistent probabilistic databases
Proceedings of the 20th ACM international conference on Information and knowledge management
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Data integration: a challenging ASP application
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
ICDT'07 Proceedings of the 11th international conference on Database Theory
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Complexity and approximation of fixing numerical attributes in databases under integrity constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Consistent query answers on numerical databases under aggregate constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Improving data quality by source analysis
Journal of Data and Information Quality (JDIQ)
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Repairing inconsistent XML documents
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A relational database integrity framework for access control policies
Journal of Intelligent Information Systems
Efficient application of answer set programming for advanced data integration
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
First-order query rewriting for inconsistent databases
ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
DART: a data acquisition and repairing tool
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Project-Join-Repair: an approach to consistent query answering under functional dependencies
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Certain conjunctive query answering in first-order logic
ACM Transactions on Database Systems (TODS)
Towards certain fixes with editing rules and master data
The VLDB Journal — The International Journal on Very Large Data Bases
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
On the data complexity of consistent query answering
Proceedings of the 15th International Conference on Database Theory
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Certain conjunctive query answering in SQL
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Tractable cases of clean query answering under entity resolution via matching dependencies
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Query rewriting using datalog for duplicate resolution
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Comparable dependencies over heterogeneous data
The VLDB Journal — The International Journal on Very Large Data Bases
Charting the tractability frontier of certain conjunctive query answering
Proceedings of the 32nd symposium on Principles of database systems
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
Extending inclusion dependencies with conditions
Theoretical Computer Science
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Sampling from repairs of conditional functional dependency violations
The VLDB Journal — The International Journal on Very Large Data Bases
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
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.