Jan Chomicki, Gunter Saake, Ron van der Meyden  Home/Search
Context
Related
Links: ACM | scs.carleton.ca/~bertossi/...editor.pdf scs.carleton.ca/~bertossi/pa...cqa2.pdf scs.carleton.ca/~bertossi/pa...cqa1.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: scs.carleton.ca/~bertossi/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two concepts: repair and consistent query answer. We describe different approaches to the issue of computing consistent query answers: query transformation, logic programming, inference in annotated logics, and specialized algorithms. We also characterize the computational complexity of this problem. Finally, we discuss... (Update)
Similar documents (at the sentence level):
35.8%: Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Active bibliography (related documents): More All
1.0: Characterizing and Computing Semantically Correct.. - Barceló, Bertossi, Bravo (Correct)
0.9: Logic Programs for Querying Inconsistent Databases - Barceló, Bertossi (Correct)
0.7: Disjunctive Deductive Databases for Computing Certain and.. - Bravo, Bertossi (Correct)
Similar documents based on text: More All
1.0: Answer Sets for Consistent Query Answering in Inconsistent.. - Arenas, Bertossi (2002) (Correct)
0.9: Scalar Aggregation in Inconsistent Databases - Arenas, Bertossi, Chomicki.. (2003) (Correct)
0.9: Logics for Emerging Applications of Databases - Chomicki, Saake, (eds.) (Correct)
BibTeX entry: (Update)
@misc{ chomicki-logics,
author = "Jan Chomicki and Gunter Saake and Ron van der Meyden",
title = "Logics for Emerging Applications of Databases",
url = "citeseer.ist.psu.edu/article/chomicki03logics.html" }
Citations (may not include all citations):4212 Computers and Intractability: a Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
432 Querying Heterogeneous Information Sources Using Source Desc.. - Levy, Rajaraman et al. - 1996 ACM DBLP
379 The Complexity of Relational Query Languages (context) - Vardi - 1982
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991 DBLP
266 Information Integration Using Logical Views - Ullman - 1997 ACM DBLP
232 Optimal Implementation of Conjunctive Queries in Relational .. (context) - Chandra, Merlin - 1977
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1992 DBLP
199 Reasoning about Action using a Possible Models Approach (context) - Winslett - 1988 DBLP
156 Propositional Knowledge Base Revision and Minimal Change (context) - Katsuno, Mendelzon - 1992 ACM DBLP
144 Knowledge in Flux (context) - Gardenfors - 1990
134 Theory of Generalized Annotated Logic Programming and its Ap.. - Kifer, Subrahmanian - 1992 ACM DBLP
132 Towards a Logical Reconstruction of Relational Database Theo.. (context) - Reiter - 1984 DBLP
120 Investigations into a Theory of Knowledge Base Revision - Dalal - 1988 DBLP
119 Logic-Based Approach to Semantic Query Optimization (context) - Chakravarthy, Grant et al. - 1990 ACM DBLP
119 Data Integration: A Theoretical Perspective (context) - Lenzerini - 2002 DBLP
106 Paraconsistent Logic Programming (context) - Blair, Subrahmanian - 1989 ACM DBLP
96 the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
96 the Complexity of Propositional Knowledge Base Revision - Eiter, Gottlob - 1992
88 Elements of Relational Database Theory (context) - Kanellakis - 1990 ACM DBLP
87 Query-Answering Algorithms for Information Agents - Levy, Rajaraman et al. - 1996 DBLP
81 Logic Programs with Exceptions (context) - Kowalski, Sadri - 1991 ACM DBLP
75 Complexity and Expressive Power of Logic Programming - Dantsin, Eiter et al. - 2001 ACM DBLP
71 A Logic for Reasoning with Inconsistency - Kifer, Lozinskii - 1992 ACM DBLP
65 Combining Knowledge Bases Consisting of First-Order Theories (context) - Baral, Kraus et al. - 1992
64 Tableau Techniques for Querying Information Sources through .. - Grahne, Mendelzon - 1999 ACM DBLP
63 Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi et al. - 1999 ACM DBLP
61 Disjunctive Stable Models: Unfounded Sets (context) - Leone, Rullo et al. - 1997
56 Belief Revision (context) - Gardenfors, Rott - 1995 ACM
54 Tolerating Inconsistency (context) - Balzer - 1991 ACM DBLP
48 A Theorem-Proving Approach to Database Integrity (context) - Sadri, Kowalski - 1988 ACM DBLP
46 Recursive Query Plans for Data Integration - Duschka, Genesereth et al. - 2000 DBLP
44 Approximating Covering and Packing Problems: Set Cover (context) - Hochbaum - 1997
41 ACM Transactions on Database Systems (context) - Subrahmanian, Bases - 1994 ACM
37 Integrity Checking in Deductive Databases (context) - Kowalski, Sadri et al. - 1987 ACM DBLP
37 Propositional semantics for disjunctive logic programs (context) - Ben-Eliyahu, Dechter - 1994 DBLP
32 A Model-Based Belief Revision System (context) - Chou, Winslett - 1994 DBLP
32 Merging Databases under Constraints - Lin, Mendelzon - 1996
31 Incomplete Objects - A Data Model for Design and Planning Ap.. (context) - Imielinski, Naqvi et al. - 1991 DBLP
29 Specifying and Querying Database Repairs Using Logic Program.. - Arenas, Bertossi et al. - 2000 DBLP
28 What Should A Database Know (context) - Reiter - 1988
28 Flexible Relation: An Approach for Integrating Data from Mul.. - Agarwal, Keller et al. - 1995
26 Declarative Data Cleaning: Language (context) - Galhardas, Florescu et al. - 2001
25 Theoretical Computer Science (context) - Marek, Truszczynski - 1998 ACM
25 On Integrity Constraints (context) - Reiter - 1988 ACM DBLP
24 A Logic Programming Approach to the Integration (context) - Greco, Greco et al. - 2001
19 Query Answering in Information Systems with Integrity Constr.. - Bry - 1997 ACM DBLP
19 Querying Inconsistent Databases: Algorithms and Implementati.. - Celle, Bertossi - 2000 DBLP
18 Declarative Problem-Solving in DLV (context) - Eiter, Faber et al. - 2000 ACM
17 Multiplex: A Formal Model for Multidatabases and Its Impleme.. - Motro - 1999 DBLP
17 Source Inconsistency and Incompleteness in Data Integration (context) - Lembo, Lenzerini et al. - 2002 DBLP
16 Diagnosis and Repair of Constraint Violations in Database Sy.. (context) - Gertz - 1996 DBLP
16 A Logic-Based Approach to Data Integration (context) - Grant, Minker - 2002 ACM DBLP
15 Programming with Nondeterminism in Deductive Databases - Giannotti, Greco et al. - 1997
15 Query Rewriting using Views in the Presence of Functional an.. (context) - Gryz - 1999 ACM DBLP
15 Integrity Constraints: Semantics and Applications - Godfrey, Grant et al. - 1998 DBLP
14 Consistent Answers from Integrated Data Sources - Bertossi, Chomicki et al. - 2002 ACM DBLP
14 Repairing Databases with Annotated Predicate Logic (context) - Barcelo, Bertossi - 2002
14 Scalar Aggregation in FD-Inconsistent Databases - Arenas, Bertossi et al. - 2001 ACM DBLP
13 Paraconsistent Logics - Hunter ACM
13 Datalog with Non-deterministic Choice Computes NDB-PTIME (context) - Giannotti, Pedreschi - 1998 DBLP
13 Census Data Repair: a Challenging Application of Disjunctive.. - Franconi, Palma et al. - 2002 DBLP
12 Resolving Contradictions: A Plausible Semantics for Inconsis.. (context) - Lozinskii - 1994 DBLP
12 Graph Classes: A Survey (context) - Brandstadt, Le and et al. - 1999
12 Minimal-Change Integrity Maintenance Using Tuple Deletions (context) - Chomicki, Marcinkowski - 2002
12 Applications of Annotated Predicate Calculus to Querying Inc.. - Arenas, Bertossi et al. - 2000 ACM DBLP
12 Datalog Queries with Stratified Negation and Choice: from P .. - Greco, Sacca et al. - 1995
11 A Survey of Paraconsistent Semantics for Extended Logic Prog.. (context) - Damasio, Pereira
11 Integrating Data from Possibly Inconsistent Databases - Dung - 1996 ACM DBLP
10 Query Processing in Annotated Logic Programming: Theory and .. (context) - Leach, Lu - 1996 DBLP
10 Leveraging Inconsistency in Software Development - Nuseibeh, Easterbrook - 2000 ACM DBLP
10 A Extensible Framework for Repairing Constraint Violations - Gertz - 1996
9 cient Deductive Database Engine (context) - Sagonas, Swift et al. - 1994
9 Scalar Aggregation in Inconsistent Databases - Arenas, Bertossi et al. - 2001 ACM DBLP
8 Logic Programs for Querying Inconsistent Databases (context) - Barcelo, Bertossi - 2003 ACM DBLP
8 the Computational Complexity of Consistent Query Answers (context) - Chomicki, Marcinkowski - 2002
7 Condensed Representation of Database Repairs for Consistent .. (context) - Wijsen - 2003 ACM DBLP
7 Complexity Tailored Design: A New Design Methodology for Dat.. - Imielinski, van der Meyden et al. - 1995 DBLP
6 A Semantics for Reasoning Consistently in the Presence of In.. (context) - Lin - 1996 ACM DBLP
5 Integrity Constraints as Views in Deductive Databases - Asirelli, Inverardi et al. - 1996
5 Paraconsistent Logic in a Historical Perspective (context) - Costa, Beziau et al. - 1995
4 Analytic Tableaux and Database Repairs: Foundations - Bertossi, Schwind - 2002 DBLP
4 Querying Inconsistent Databases (context) - Greco, Zumpano - 2000 ACM DBLP
4 Querying an Inconsistent Database (context) - Cholvy - 1990
4 A Logical Framework for Integrating Inconsistent Information.. - de Amo, Carnielli et al. - 2002 ACM DBLP
3 Combining Artificial Intelligence and Databases for Data Int.. - Levy - 1999
3 Working Notes of the IJCAI'01 Workshop on Inconsistency in D.. (context) - Bertossi, Chomicki - 2001
2 A Model-Theoretic Approach for Recovering Consistent Data fr.. - Arieli, Avron - 1999 DBLP
2 Repairing Inconsistent Databases: A Model-Theoretic Approach - Arieli, Denecker et al.
2 Handbook of Defeasible Reasoning and Uncertain Information (context) - Gabbay, Smets - 1998
2 Workshop on Paraconsistent Computational Logic (context) - Decker, Villadsen et al. - 2002
2 Answer Sets for Consistent Query Answering in Inconsistent D.. - Arenas, Bertossi et al. - 2002 ACM DBLP
1 Leo Bertossi and Jan Chomicki (context) - Abiteboul, Hull et al. - 1995
1 Reasoning with Conflicting Information in Artificial Intelli.. (context) - Pradhan - 2001
1 Technical Report arXivcs (context) - Schwind, Analytic et al. - 2002
1 Semantics of Normal Logic Programs and Contested Information (context) - Pradhan - 1996 ACM DBLP
Documents on the same site (http://www.scs.carleton.ca/~bertossi/papers/): More
Scalar Aggregation in FD-Inconsistent Databases - Arenas, Bertossi, Chomicki (2001) (Correct)
Answering Historical Queries in Databases (Extended Abstract) - Siu, Bertossi (1996) (Correct)
Underlying Semantics for the Assessment of Reiter's.. - Bedrax-Weiss, Bertossi (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC