Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Paraconsistent logic programming
Theoretical Computer Science
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
A logic for reasoning with inconsistency
Journal of Automated Reasoning
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
Theoretical Computer Science - Special issue: database theory
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Declarative problem-solving in DLV
Logic-based artificial intelligence
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Scalar Aggregation in FD-Inconsistent Databases
ICDT '01 Proceedings of the 8th International Conference on Database Theory
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
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
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Consistent query answering in databases
ACM SIGMOD Record
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Consistent Query Answering: The First Ten Years
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Consistent query answers in the presence of universal constraints
Information Systems
Minimal-change integrity maintenance using tuple deletions
Information and Computation
On the measure of incoherence in extended residuated logic programs
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
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
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
On the notions of residuated-based coherence and bilattice-based consistence
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Consistent answers from a relational database that violates a given set of integrity constraints (ICs) are characterized as ordinary answers that can be obtained from every minimally repaired version of the database (a repair). Repairs can be specified and interpreted as the stable models of a simple disjunctive normal logic program with database predicates extended with appropriate annotation arguments. In consequence, consistent query answers can be obtained by running a query program in combination with the repair program under the cautious or skeptical stable model semantics. In this paper we show how to write repair programs for universal and referential ICs; we establish their correctness and show how to run them on top of the DLV system.