Repairing Databases with Annotated Predicate Logic (2002)
Cached
Download Links
- [www.scs.carleton.ca]
- [www.scs.carleton.ca]
- DBLP
Other Repositories/Bibliography
| Venue: | Ninth International Workshop on Non-Monotonic Reasoning (NMR02), Special Session: Changing and Integrating Information: From Theory to Practice |
| Citations: | 14 - 8 self |
BibTeX
@INPROCEEDINGS{Barceló02repairingdatabases,
author = {Pablo Barceló and Leopoldo Bertossi},
title = {Repairing Databases with Annotated Predicate Logic},
booktitle = {Ninth International Workshop on Non-Monotonic Reasoning (NMR02), Special Session: Changing and Integrating Information: From Theory to Practice},
year = {2002},
pages = {160--170},
publisher = {Morgan Kaufmann Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Consistent answers from a relational database that violates a given set of integrity constraints are characterized [Arenas et al. 1999] as ordinary answers that can be obtained from every repaired version of the database. In this paper we address the problem of specifying the repairs of a database as the minimal models of a theory written in Annotated Predicate Logic [Kifer et al. 1992a]. The specification is then transformed into a disjunctive logic program with annotation arguments and a stable model semantics. From the program, consistent answers to first order queries are obtained.
