François Bry  Home/Search
Context Related
Links: ACM DBLP | pms.informatik.uni...MSFB19979.ps.gz 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: pms.informatik.unimuench...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The specifications of most of the nowadays ubiquitous informations systems include integrity constraints, i.e. conditions rejecting so-called "invalid" or "inconsistent " data. Information system consistency and query answering have been formalized referring to classical logic implicitly assuming that query answering only makes sense with consistent information systems. In practice, however, inconsistent as well as consistent information systems need to be queried. In this paper, it is first... (Update)
Context of citations to this paper: More
...the revised database is not explicitly constructed. Instead the program M r is used to answer queries to the revised database. Bry [7] was, to our knowledge, the first author to consider the notion of consistent query answer in inconsistent databases. He defined consistent...
...(Example 13) Third, they are mostly nonlocal. Below we discuss those paraconsistency based approaches that are closest to ours. Bry [24] was, to our knowledge, the first author to consider the notion of a consistent query answer in inconsistent databases. He defined...
Cited by: More
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
Active Databases as Information Systems - Dina Goldin Computer (Correct)
Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Active bibliography (related documents): More All
0.9: Approximation Algorithms for Facility Location Problems - Jens Vygen (2005) (Correct)
0.3: Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1998) (Correct)
0.2: An Overview of Cooperative Answering - Gaasterland, al. (1992) (Correct)
Similar documents based on text: More All
0.7: Symmetry in XPath - Olteanu, Meuss, Furche, Bry (2001) (Correct)
0.6: Web Services for Teaching: A Case Study - Bry, Eisinger, Schneemayer (2003) (Correct)
0.6: A Gentle Introduction into Xcerpt, a Rule-Based Query and.. - Bry, Schaffert (2002) (Correct)
Related documents from co-citation: More All
15: Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi et al. - 1999
13: Merging Databases under Constraints - Lin, Mendelzon - 1996
12: Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inco.. - Agarwal, Keller et al. - 1995
BibTeX entry: (Update)
F. Bry. Query Answering in Information Systems with Integrity Constraints. In IFIP WG 11.5 Working Conference on Integrity and Control in Information Systems. Chapman &Hall, 1997. http://citeseer.ist.psu.edu/bry97query.html More
@inproceedings{ bry97query,
author = "Francois Bry",
title = "Query Answering in Information Systems with Integrity Constraints",
booktitle = "{IICIS}",
pages = "113-130",
year = "1997",
url = "citeseer.ist.psu.edu/bry97query.html" }
Citations (may not include all citations):759 Negation as Failure (context) - Clark - 1978 ACM DBLP
334 A Truth Maintenance System (context) - Doyle - 1979 ACM DBLP
322 First-Order Logic and Automated Theorem Proving (context) - Fitting - 1996 ACM
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992 ACM
119 Logic-Based Approach to Semantic Query Optimization (context) - Chakravarthy, Grant et al. - 1990 ACM DBLP
116 Natural Deduction (context) - Prawitz - 1965
99 Logic and Databases: A Deductive Approach (context) - Gallaire, Minker et al. - 1984 ACM DBLP
95 Logic for Improving Integrity Checking in Relational Databas.. (context) - Nicolas - 1982
74 Theorem Proving by Resolution as a Basis for QuestionAnsweri.. (context) - Green - 1969
63 A Uniform Approach to Constraint Satisfaction and Constraint.. (context) - Bry, Decker et al. - 1988 ACM DBLP
61 Logic and Data Bases (context) - Gallaire, Minker - 1978 ACM
58 Untersuchungen uber das logische Schließen (context) - Gentzen - 1934
33 Integrity Enforcement on Deductive Databases (context) - Decker - 1986 DBLP
32 Integrity Constraint Checking in Stratified Databases (context) - Lloyd, Sonenberg et al. - 1987 ACM DBLP
18 Informative and Cooperative Answers in Databases Using Integ.. (context) - Gal, Minker - 1988
14 A Compositional Semantics for Logic Programs and Deductive D.. - Bry - 1996 DBLP
10 Natural Language Understanding and Logic Programming (context) - Dahl, Saint-Dizier - 1988
9 Answering Queries Addressed to a Rule Base - Cholvy - 1990
1 Machine Intelligence 4 (context) - Meltzer, Michie - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/publikationen/index.html): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Problem Solving with Model-Generation Approaches based on.. - Eisinger, Geisler (1998) (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