P. Godfrey, J. Grant, J. Gryz, J. Minker  Home/Search
Context Related
| umd.edu:3264/papers/GGGM9...paper.ps.gz wm.edu/~godfrey/papers/GG...paper.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: umd.edu:3264/papers/GGGM9...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper.) Finally, by having ICs expressed in logic, one can use deduction and logic as one's basic and natural tools for handling, and reasoning over, database specifications (facts, rules, queries, and ICs). This applies for relational databases, with or without rules, and can be applied to object-oriented and object-relational databases as well. There is a broad body of work on logic and relational databases, and a general consensus on what databases (facts and rules) and queries mean.... (Update)
Context of citations to this paper: More
.... Integrity constraints in traditional databases are used for semantic query optimization, cooperative query answering, and view updating, etc [8]. In the rest of the section, we first describe the disjunctive referential constraints and implication constraints in the case of LDAP...
.... dependencies and was subsequently generalized to other key functional dependencies by Dung [37] In the same context, Baral et al. [13,53] proposed to use disjunctive Datalog, and Lin and Mendelzon [79] tables with OR objects [62,63] Agarwal et al. 2] introduced flexible...
Cited by: More
Query Processing - In Embedded Control (Correct)
Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Query Evaluation in Almost Consistent Databases Using Residues - Arenas, Bertossi (Correct)
Similar documents (at the sentence level):
54.5%: Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1997) (Correct)
Active bibliography (related documents): More All
1.2: An Overview of Cooperative Answering - Gaasterland, al. (1992) (Correct)
0.7: Relaxation in Web Search: A New Paradigm for Search by Boolean.. - Godfrey (1998) (Correct)
0.6: An Architecture for a Cooperative Database System - Godfrey, Minker, Novik (1994) (Correct)
Similar documents based on text: More All
0.4: A Course in Scientific Modeling and Simulation - Azadegan, O'Leary (Correct)
0.4: A Framework for Intensional Query Optimization - Godfrey, Gryz (1996) (Correct)
0.2: ALogic-Based Model of Intentions for Multi-Agent Subcontracting - John Grant Dept (2002) (Correct)
Related documents from co-citation: More All
8: Logic-based approach to semantic query optimization (context) - Chakravarthy, Grant et al. - 1990
5: Foundations of databases (context) - Abiteboul, Hull et al. - 1995
5: Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inco.. - Agarwal, Keller et al. - 1995
BibTeX entry: (Update)
P. Godfrey, J. Grant, J. Gryz, and J. Minker. Integrity Constraints: Semantics and Applications. In Chomicki and Saake [7], chapter 9. http://citeseer.ist.psu.edu/godfrey98integrity.html More
@inproceedings{ godfrey98integrity,
author = "Parke Godfrey and John Grant and Jarek Gryz and Jack Minker",
title = "Integrity Constraints: Semantics and Applications",
booktitle = "Logics for Databases and Information Systems",
pages = "265-306",
year = "1998",
url = "citeseer.ist.psu.edu/godfrey98integrity.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
775 Foundations of Databases (context) - Abiteboul, Hall et al. - 1995
759 Negation as Failure (context) - Clark - 1978
296 Answering queries using views - Levy, Mendelzon et al. - 1995
295 On Closed World Data Bases (context) - Reiter - 1978
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
185 On indefinite databases and the closed world assumption (context) - Minker - 1982
160 Knowledge Discovery in Databases (context) - Piatetsky-Shapiro, Frawley - 1991
150 Understanding the New SQL: A Complete Guide (context) - Melton, Simon - 1993
146 Optimizing queries with materialized views - Chaudhuri, Krishnamurthy et al. - 1995
123 Semantic data caching and replacement - Dar, Franklin et al. - 1996
119 Logic based approach to semantic query optimization (context) - Chakravarthy, Grant et al. - 1990
108 A predicate-based caching scheme for client-server database .. - Keller, Basu - 1996
105 Computability and Logic (context) - Boolos, Jeffrey - 1989
97 A PROLOG technology theorem prover: Implementation by an ext.. - Stickel - 1988
78 Query folding - Qian - 1996
77 Query transformation for PSJ-queries (context) - Yang, Larson - 1987
73 Recursive plans for information gathering - Duschka, Levy - 1997
67 Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988
65 Combining knowledge bases consisting of first order theories (context) - Baral, Kraus et al. - 1992
58 Subsumption between queries to object-oriented databases - Buchheit, Jeusfeld et al. - 1994
57 The implementation and performance evaluation of the ADMS qu.. - Chen, Roussopoulos - 1994
53 ACM Transactions on Database Systems (context) - Eiter, Gottlob et al. - 1997
48 An overview of cooperative answering - Gaasterland, Godfrey et al.
48 An overview of cooperative answering - Gaasterland, Godfrey et al. - 1992
45 Foundations of semantic query optimization for deductive dat.. (context) - Chakravarthy, Grant et al. - 1986
44 QUIST: A system for semantic query optimization in relationa.. (context) - King - 1981
39 Temporal Logic in Information Systems - Chomicki, Toman
38 Deductive Databases and Logic Programming (context) - Das - 1992
38 Symbolic Computation---Artificial Intelligence (context) - Lloyd, Logic - 1987
32 Knowledge-based query processing (context) - Hammer, Zdonik - 1980
31 Semantic query optimization in datalog programs (context) - Levy, Sagiv - 1995
29 Logic and databases: a 20 year retrospective - Minker - 1996
29 IEEE Transactions on Knowledge and Data Engineering (context) - Baral, Kraus et al. - 1991
28 What should a database know (context) - Reiter - 1992
28 Fundamental techniques for order optimization (context) - Simmen, Shekita et al. - 1996
27 Query folding with inclusion dependencies - Gryz - 1998
26 Integrity control in relational database systems: An overvie.. (context) - Grefen, Apers - 1993
23 Logic for data description (context) - Kowalski - 1978
22 A possible world semantics for disjunctive databases - Chan - 1993
18 Informative and cooperative answers in databases using integ.. (context) - Gal, Minker
17 A new fixpoint semantics for general logic programs compared.. (context) - Fages - 1991
17 Semantic query optimization in object databases - Grant, Gryz et al. - 1997
16 Cooperative Responses in Deductive Databases - Gal - 1988
15 Knowledge representation without integrity constraints (context) - Kowalski, Sadri - 1988
14 A compositional semantics for logic programs and deductive d.. - Bry - 1996
14 A natural language database interface that provides cooperat.. (context) - Gal, Minker - 1985
14 An architecture for a cooperative database system - Godfrey, Minker et al. - 1994
13 Semantic query reformulation in deductive databases (context) - Lee, Henschen et al. - 1991
13 Logic Programming for Database Transactions - Bonner, Kifer
12 Constraints for improving the generation of intensional answ.. (context) - Pirotte, Roelants - 1989
12 View updates in stratified disjunctive databases - Grant, Horty et al. - 1993
11 Qualified answers that reflect user needs and preferences - Gaasterland, Lobo - 1994
11 Minimization in cooperative response to failing database que.. - Godfrey - 1997
10 Natural Language Understanding and Logic Programming (context) - Dahl, Saint-Dizier - 1988
10 Kluwer Academic Publishers (context) - Chomicki, Saake et al. - 1997
9 Semantic query optimization in recursive databases (context) - Lee, Han - 1988
9 Security constraint processing in a multilevel secure distri.. (context) - Thuraisingham, Ford - 1995
9 Cooperative Answers for Database Queries (context) - Gaasterland - 1992
9 Answering queries addressed to a rule base - Cholvy - 1990
8 Using priorities to combine knowledge bases (context) - Pradhan, Minker - 1997
8 Semantic query optimization: Additional constraints and cont.. (context) - Chakravarthy, Grant et al. - 1986
8 Annals of Mathematics and Artificial Intelligence (context) - Fern'andez, Lobo et al. - 1993
8 Knowledge discovery as a threat to database security (context) - O'Leary
7 Disjunctive Deductive Databases (context) - Fern'andez - 1994
7 User needs and language generation issues in a cooperative a.. - Gaasterland, Minker - 1991
6 Overview of dynamic query evaluation in intensional query op.. - Godfrey, Gryz - 1997
6 A framework for intensional query optimization - Godfrey, Gryz - 1996
5 Studies in Logic and Computation (context) - Demolombe, Imielinski et al. - 1994
5 Integrity constraints in knowledge based systems (context) - Grant, Minker - 1990
5 Integrity constraints revisited - Demolombe, Jones - 1996
4 Model theoretic approach to view updates in deductive databa.. (context) - Fern'andez, Grant et al. - 1996
4 On Logical Foundations of Active Databases (context) - Lausen, Ludascher
4 Declarative foundations of secure deductive databases (context) - Bonatti, Kraus et al. - 1992
3 Intelligent query answering in rule based systems (context) - Imieli'nski
3 Logical Approaches to Incomplete Information: A Survey (context) - van der Meyden
3 Using constraints to provide intensional answers to relation.. (context) - Motro - 1989
3 Combining default logic databases (context) - Baral, Kraus et al. - 1994
3 IEEE Transactions on Knowledge and Data Engineering (context) - Pirotte, Roelants et al. - 1990
3 Theorem-provers combining model elimination and resolution (context) - Loveland - 1969
3 A Logic Primer (context) - Conrad
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://karna.cs.umd.edu:3264/papers/GGGM97:IC/paper.html):
Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1997) (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