See this document in CiteSeerX!

Logics for Emerging Applications of Databases (2003)  (Make Corrections)  
Jan Chomicki, Gunter Saake, Ron van der Meyden



  Home/Search   Context   Related

Links:   ACM

 
View or download:
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   Image  Update  Help

From:  scs.carleton.ca/~bertossi/pape... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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