Abstract:
Abstract. Consistent answers from a relational database that violates a given set of integrity constraints are ordinary answers that can be obtained from every repaired version of the database. The database repairs can be specied and interpreted as the stable models of a simple disjunctive normal logic program with database predicates extended with appropriate annotation arguments. The programs can be constructed for any nite set of universal integrity constraints. Programs for referential integrity constraints can also be produced. In consequence, consistent query answers can be obtained from the repair program combined with an appropriate query program under the cautious or skeptical stable model semantics. 1
Citations
|
1677
|
Foundations of Logic Programming
– Lloyd
- 1987
|
|
1152
|
The stable model semantics for logic programming
– Gelfond, Lifschitz
- 1988
|
|
1035
|
Foundations of Databases
– Abiteboul, Hull, et al.
- 1995
|
|
570
|
Classical negation in logic programs and disjunctive databases
– Gelfond, Lifschitz
- 1991
|
|
145
|
Query Answering in Inconsistent Databases
– Bertossi, Chomicki
- 2003
|
|
143
|
Theory of generalized annotated logic programming and its applications
– Kifer, Subrahmanian
- 1992
|
|
136
|
Propositional semantics for disjunctive logic programs
– Ben-Eliyahu, Dechter
- 1996
|
|
92
|
A logic for reasoning with inconsistency
– Kifer, EL
- 1992
|
|
60
|
Enhancing Disjunctive Datalog by Constraints
– Buccafurri, Leone, et al.
|
|
55
|
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
– Greco, Greco, et al.
- 2001
|
|
50
|
Querying database repairs using logic programs with exceptions
– Arenas, Bertossi, et al.
- 2000
|
|
26
|
Scalar Aggregation in FD-Inconsistent Databases
– Arenas, Bertossi, et al.
- 1973
|
|
25
|
Programming with Nondeterminism in Deductive Databases
– Giannotti, Greco, et al.
- 1997
|
|
23
|
Answer Sets for Consistent Query Answering
– Arenas, Bertossi, et al.
|
|
23
|
Repairing Databases with Annotated Predicate Logic
– Barcelo, Bertossi
- 2002
|
|
22
|
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
– Arenas, Bertossi, et al.
- 1861
|
|
22
|
A survey on paraconsistent semantics for extended logic programs
– Damasio, Pereira
- 1998
|
|
21
|
Disjunctive Stable Models
– Leone, Rullo, et al.
- 1997
|
|
19
|
Declarative Problem-Solving in DLV
– Eiter, Faber, et al.
- 2000
|
|
15
|
On the Computational Complexity of Consistent Query Answers
– Chomicki, Marcinkowski
- 2002
|
|
