Digital Symposium Collection 2000

Consistent Query Answers in Inconsistent Databases Marcelo Arenas, Leopoldo E. Bertossi, and Jan Chomicki   View Paper (PDF)   Return to Semantics Abstract In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. This notion is captured in terms of the possible repaired versions of the database. A rnethod for computing consistent answers is given and its soundness and completeness (for some classes of constraints and queries) proved. The method is based on an iterative procedure whose termination for several classes of constraints is proved as well. References Note: References link to DBLP on the Web. [1] Shailesh Agarwal , Arthur M. Keller , Gio Wiederhold , Krishna Saraswat : Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. ICDE 1995 : 495-504 [2] ... [3] ... [4] ... [5] Upen S. Chakravarthy , John Grant , Jack Minker : Logic-Based Approach to Semantic Query Optimization. TODS 15(2) : 162-207(1990) [6] Surajit Chaudhuri , Umeshwar Dayal : An Overview of Data Warehousing and OLAP Technology. SIGMOD Record 26(1) : 65-74(1997) [7] ... [8] Timothy S.-C. Chou , Marianne Winslett : A Model-Based Belief Revision System. Journal of Automated Reasoning 12(2) : 157-208(1994) [9] Phan Minh Dung : Integrating Data from Possibly Inconsistent Databases. CoopIS 1996 : 58-65 [10] ... [11] Michael Gertz : Diagnosis and Repair of Constraint Violations in Database Systems. DISDBIS Vol. 19 Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-419-6 [12] Parke Godfrey , John Grant , Jarek Gryz , Jack Minker : Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems 1998 : 265-306 [13] Hirofumi Katsuno , Alberto O. Mendelzon : Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence 52(3) : 263-294(1992) [14] ... [15] Jinxin Lin : A Semantics for Reasoning Consistently in the Presence of Inconsistency. Artificial Intelligence 86(1) : 75-95(1996) [16] ... [17] ... [18] John-Jules Ch. Meyer , Roel Wieringa , Frank Dignum : The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998 : 71-115 [19] Jean-Marie Nicolas : Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18 : 227-253(1982) [20] Jeffrey D. Ullman : Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1 Contents BIBTEX @inproceedings{DBLP:conf/pods/ArenasBC99,   author    = {Marcelo Arenas and                 Leopoldo E. Bertossi and                 Jan Chomicki},    title     = {Consistent Query Answers in Inconsistent Databases},    booktitle = {Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium                 on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,                 Pennsylvania},    publisher = {ACM Press},    year      = {1999},    isbn      = {1-58113-062-7},    pages     = {68-79},    crossref  = {DBLP:conf/pods/99},    bibsource = {DBLP, http://dblp.uni-trier.de} } }, Copyright(C) 2000 ACM