See this document in CiteSeerX!

Integrity Constraints: Semantics and Applications (1997)  (Make Corrections)  (15 citations)
P. Godfrey, J. Grant, J. Gryz, J. Minker
Logics for Databases and Information Systems



  Home/Search   Context   Related

 
View or download:
umd.edu:3264/papers/...april_1997.ps.gz
wm.edu/~godfrey/pape...april_1997.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  umd.edu:3264/papers/GGGM9...paper (more)
(Enter author homepages)

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

Abstract: this paper. Similarly, we have shown that integrity constraints can apply to temporal conditions, but that there is no one uniform approach to handling temporal databases. Many areas of the use of integrity constraints still need investigating. Below, we discuss some aspects associated with this topic that require additional work. ffl Implement semantic query optimization and cooperative answering systems. Current relational and deductive database systems do not provide these capabilities, but... (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):
41.3%:   Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1998)   (Correct)

Active bibliography (related documents):   More   All
1.2:   An Architecture for a Cooperative Database System - Godfrey, Minker, Novik (1994)   (Correct)
1.2:   An Overview of Cooperative Answering - Gaasterland, al. (1992)   (Correct)
0.8:   Minimization in Cooperative Response to Failing Database Queries - Godfrey (1997)   (Correct)

Similar documents based on text:   More   All
0.5:   Semantic Query Optimization for Bottom-Up Evaluation - Godfrey, Gryz, Minker (1996)   (Correct)
0.4:   Semantic Query Caching for Heterogeneous Databases - Godfrey, Gryz (1997)   (Correct)
0.4:   Intensional Query Optimization - Godfrey, Gryz (1996)   (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/article/godfrey97integrity.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/article/godfrey97integrity.html" }
Citations (may not include all citations):
1838   Foundations of Logic Programming (context) - Lloyd - 1987
981   Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
858   The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759   Negation as Failure (context) - Clark - 1978
561   Constraint logic programming (context) - Jaffar, Lassez - 1987
373   Constraint logic programming: A survey - Jaffar, Maher - 1994
313   Inductive logic programming: theory and methods - Muggleton, Raedt - 1994
300   The TSIMMIS project: Integration of heterogeneous informatio.. - Chawathe, Garcia-Molina et al. - 1994
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
134   Using semantic knowledge for transaction processing in a dis.. (context) - Garcia-Molina - 1983
132   Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984
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
118   Unfounded sets and wellfounded semantics for general logic p.. (context) - Gelder, Ross et al. - 1988
108   A predicate-based caching scheme for client-server database .. - Keller, Basu - 1996
105   Computability and Logic (context) - Boolos, Jeffrey - 1989
104   HERMES: A heterogeneous reasoning and mediator system (context) - Subrahmanian, Adali et al. - 1994
97   A PROLOG technology theorem prover: Implementation by an ext.. - Stickel - 1988
96   the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
86   Foundations of a functional approach to knowledge representa.. (context) - Levesque - 1984
78   Query folding - Qian - 1996
77   Query transformation for PSJqueries (context) - Yang, Larson - 1987
69   Temporal reasoning in logic programming: A case for the situ.. - Pinto, Reiter - 1993
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
61   How to progress a database - Lin, Reiter - 1994
61   Transaction logic programming - Bonner, Kifer - 1993
60   On specifying database updates - Reiter - 1995
60   Using semantic knowledge of transactions to increase concurr.. (context) - Farrag, Ozsu - 1989
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
57   The implementation and performance evaluation of the ADMS qu.. - Chen, Roussopoulos
48   An overview of cooperative answering - Gaasterland, Godfrey et al.
47   Concurrency and communication in transaction logic - Bonner, Kifer - 1996
44   Possible model semantics for disjunctive databases - Sakama - 1989
44   Quist: A system for semantic query optimization in relationa.. (context) - King - 1981
41   A unified semantics for active and deductive databases - Zaniolo - 1993
39   Efficient checking of temporal integrity constraints using b.. - Chomicki - 1995
38   Deductive Databases and Logic Programming (context) - Das - 1992
32   Knowledge-based query processing (context) - Hammer, Zdonik - 1980
31   Semantic query optimization in datalog programs (context) - Levy, Sagiv - 1995
28   Fundamental techniques for order optimization (context) - Simmen, Shekita et al. - 1996
28   What should a database know (context) - Reiter - 1992
27   Relaxation as a platform for cooperative answering - Gaasterland, Godfrey et al.
26   Integrity control in relational database systems: An overvie.. (context) - Grefen, Apers - 1993
24   Active database rules with transaction-conscious stable mode.. - Zaniolo - 1996
23   Logic for data description (context) - Kowalski - 1978
22   A possible world semantics for disjunctive databases - Chan - 1993
22   The design and implementation of CoBase - Chu, Merzbacher et al. - 1993
21   The frame problem and related problems in artificial intelli.. (context) - Hayes - 1973
18   Elements of Discourse Understanding (context) - Joshi, Webber et al. - 1981
18   Informative and cooperative answers in databases using integ.. (context) - Gal, Minker - 1988
18   Combining multiple knowledge bases (context) - Baral, Kraus et al. - 1991
17   Querying a rule base (context) - Cholvy, Demolombe - 1987
17   Formal characterization of active databases - Baral, Lobo - 1996
17   Semantic query optimization in object databases - Grant, Gryz et al. - 1997
17   A new fixpoint semantics for general logic programs compared.. (context) - Fages - 1991
16   Cooperative Responses in Deductive Databases - Gal - 1988
16   Advances in Database Theory (context) - Gallaire, Minker et al. - 1981
16   On semantic query optimization in deductive databases - Lakshmanan, Missaoui - 1992
15   Formal aspects of concurrency control in long duration trans.. (context) - Korth, Speegle - 1994
15   Knowledge representation without integrity constraints (context) - Kowalski, Sadri - 1988
14   An architecture for a cooperative database system - Godfrey, Minker et al. - 1994
14   A compositional semantics for logic programs and deductive d.. - Bry - 1996
14   Multimedia database systems: issues and research directions (context) - Subrahmanian, Jajodia - 1996
14   A natural language database interface that provides cooperat.. (context) - Gal, Minker - 1985
13   Semantic query reformulation in deductive databases (context) - Lee, Henschen - 1991
12   View updates in stratified disjunctive databases - Grant, Horty et al. - 1993
12   Nested transactions in a logical language for active rules (context) - Ludascher, May et al. - 1996
11   How to progress a database II: The STRIPS connection - Lin, Reiter - 1993
11   Minimization in cooperative response to failing database que.. - Godfrey
10   the feasibility of informative answers (context) - Janas - 1981
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   Answering queries addressed to a rule base - Cholvy - 1990
9   Cooperative Answers for Database Queries (context) - Gaasterland - 1992
8   Semantic query optimization: Additional constraints and cont.. (context) - Chakravarthy, Grant et al.
8   Appropriate responses to inappropriate questions (context) - Kaplan - 1981
8   Using priorities to combine knowledge bases (context) - Pradhan, Minker - 1997
8   Knowledge discovery as a threat to database security (context) - O'Leary - 1991
7   Combining datalog databases using priorities (context) - Pradhan - 1995
7   Logic and databases: a 20 year retrospective (context) - Minker - 1996
7   Disjunctive Deductive Databases (context) - Fern'andez - 1994
7   User needs and language generation issues in a cooperative a.. - Gaasterland, Minker - 1991
7   Combining datalog databases using priorities (context) - Pradhan, Minker - 1995
6   Semantic query optimization in deductive object-oriented dat.. - Yoon, Kerschberg - 1993
6   Using formal methods to reason about semantics-based decompo.. - Ammann, Jajodia et al. - 1995
5   Integrity constraints revisited - Demolombe, Jones - 1996
5   Integrity constraints in knowledge based systems (context) - Grant, Minker - 1990
5   CoBase: A cooperative database system - Chu, Chen et al. - 1994
4   Declarative foundations of secure deductive databases (context) - Bonatti, Kraus et al. - 1992
4   Model theoretic approach to view updates in deductive databa.. (context) - Fern'andez, Grant et al. - 1996
3   Combining default logic databases (context) - Baral, Kraus et al. - 1994
3   Intelligent query answering in rule based systems (context) - Imieli'nski - 1988
3   Using constraints to provide intensional answers to relation.. (context) - Motro - 1989
3   Disjunctive LP + integrity constraints = stable model semant.. (context) - Fern'andez, Lobo et al. - 1993
2   Query folding with functional dependencies (context) - Dawson, Gryz et al. - 1996
2   Controlled generation of intensional answers (context) - Pirotte, Roelants et al. - 1990
2   Combining databases with prioritized information (context) - Pradhan, Minker et al. - 1995
1   Temporal extentions to the relational model and SQL (context) - Navathe, Ahmed - 1993
1   Nonstandard Queries and Nonstandard Answers (context) - Demolombe, Imielinski - 1994
1   How not to say (context) - Janas - 1979
1   The Classic knowledge representation system of KL-ONE: The n.. (context) - Brachman, Borgida et al. - 1992
1   Translation and integration of heterogeneous schemas: Bridgi.. (context) - Miller, Ioannidis et al. - 1994
1   Applying transition rules to bitemporal deductive databases .. (context) - Martin, Sistac - 1996
1   Learning query rules for optimizing databases with update ru.. - Laurent, Vrain - 1996



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 (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