Incomplete Information in Relational Databases
Journal of the ACM (JACM)
A sound and sometimes complete query evaluation algorithm for relational databases with null values
Journal of the ACM (JACM)
Functional dependencies and constraints on Null values in database relations
Information and Control
Safety and correct translation of relational calculus formulas
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Null inclusion dependencies in relational databases
Information and Computation
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
On the Equivalence of Database Models
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
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
A Guided Tour of Relational Databases and Beyond
A Guided Tour of Relational Databases and Beyond
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Semantics-based Approach to Design of Query Languages for Partial Information
Selected Papers from a Workshop on Semantics in Databases
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
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
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
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
ConQuer: efficient management of inconsistent databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Optimizing Repair Programs for Consistent Query Answering
SCCC '05 Proceedings of the XXV International Conference on The Chilean Computer Science Society
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Proceedings of the 2nd international conference on Semantics in databases
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Consistent query answering in databases
ACM SIGMOD Record
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
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
Information Sharing Agents in a Peer Data Exchange System
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
A framework for merging, repairing and querying inconsistent databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Repair-oriented relational schemas for multidimensional databases
Proceedings of the 15th International Conference on Extending Database Technology
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Hi-index | 0.00 |
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and could be retrieved when queries are answered. Consistent answers to queries wrt a set of ICs have been characterized as answers that can be obtained from every possible minimally repaired consistent version of the original database. In this paper we consider databases that contain null values and are also repaired, if necessary, using null values. For this purpose, we propose first a precise semantics for IC satisfaction in a database with null values that is compatible with the way null values are treated in commercial database management systems. Next, a precise notion of repair is introduced that privileges the introduction of null values when repairing foreign key constraints, in such a way that these new values do not create an infinite cycle of new inconsistencies. Finally, we analyze how to specify this kind of repairs of a database that contains null values using disjunctive logic programs with stable model semantics.