Xubo Zhang, Z. Meral Ozsoyoglu  Home/Search
Context Related
| cwru.edu/ozsoy/links/xubotkde96.ps cwru.edu/PapersPublished/97...tkde97.ps 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: cwru.edu/ozsoy/recentpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we address the issue of reasoning with two classes of commonly used semantic integrity constraints in database and knowledge--base systems: implication constraints and referential constraints. We first consider a central problem in this respect, the IRC--refuting problem, which is to decide whether a conjunctive query always produces an empty relation on (finite) database instances satisfying a given set of implication and referential constraints. Since the general problem is... (Update)
Context of citations to this paper: More
...of the parent of that node: z) 4 Z) trans ) Note that the rules fact and trans have the form of inclusion dependencies. In [25], a generalized form of inclusion dependencies called referential constraints is introduced and the query containment problem in the...
.... for CQ s with Built in Predicates An algorithm for checking the containment of CQ s with built in predicates has been proposed in [Z O97] Let a containment mapping be a mapping from a set of variables to a set of variables and constants. 3 Definition 1 (Containment for CQ...
Cited by: More
Efficient XML-to-SQL Query Translation: Where to Add .. - Krishnamurthy.. (2004) (Correct)
Unraveling the Duplicate-Elimination Problem in.. - Krishnamurthy.. (2004) (Correct)
Efficient XML-to-SQL Query Translation: Where to Add .. - Krishnamurthy.. (2004) (Correct)
Similar documents (at the sentence level):
10.2%: On Efficient Reasoning with Implication Constraints - Zhang, Ozsoyoglu (1993) (Correct)
5.6%: Constructing Partial and Complete Intelligent Answers for.. - Xubo Zhang (1995) (Correct)
Active bibliography (related documents): More All
0.9: Some Results on the Containment and Minimization of.. - Xubo Zhang (1994) (Correct)
0.5: The application of goal-oriented heuristics for proving equational .. - Fuchs (1994) (Correct)
0.4: Using Horizontal-Vertical Decompositions to Improve .. - Giannella.. (Correct)
Similar documents based on text: More All
0.1: Maintenance of Implication Integrity Constraints under.. - Ishakbeyoglu, Ozsoyoglu (1993) (Correct)
0.1: Constraint (Logic) Programming: A Bibliography - Jampel (1996) (Correct)
0.1: Testing Satisfiability Of A Conjunction Of Inequalities - Naci Ishakbeyoglu (Correct)
Related documents from co-citation: More All
6: On conjunctive queries containing inequalities (context) - Klug - 1988
5: Containment and integrity constraints for XPath fragments - Deutsch, Tannen - 2001
5: Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988. This article was processed using the L scaled 913a T E X macro package with LLNCS style
BibTeX entry: (Update)
Xubo Zhang, Implication and Referential Constraints: A New Formal Treatment and the Applications in Query Processing. Ph.D Thesis, Case Western Reserve Univ., 1994. http://citeseer.ist.psu.edu/zhang94implication.html More
@article{ zhang97implication,
author = "Xubo Zhang and Z. Meral Ozsoyoglu",
title = "Implication and Referential Constraints: A New Formal Reasoning",
journal = "Knowledge and Data Engineering",
volume = "9",
number = "6",
pages = "894-910",
year = "1997",
url = "citeseer.ist.psu.edu/zhang94implication.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the theory of NP-co.. (context) - Garey, Johnson - 1979
981 Principles of Database and Knowledge-Base systems (context) - Ullman - 1989
981 Principles of Database and Knowledge-Base systems (context) - Ullman - 1989
315 Constraint Query Languages - Kanellakis, Kuper et al. - 1990
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
232 Optimal implementation of conjunctive queries in relational .. (context) - Chandra, Merlin - 1976
119 Logic-Based Approach To Semantic Query Optimization (context) - Chakravarthy, Grant et al. - 1990
100 Equivalences among relational expressions with union and dif.. (context) - Sagiv, Yannakakis
96 On Conjunctive Queries Containing Inequalities (context) - Klug - 1988
49 Equivalences among relational expressions (context) - Aho, Sagiv et al. - 1979
49 Inclusion Dependencies and Their Interactions with Functiona.. (context) - Casanova, Fagin et al. - 1984
44 QUIST: A System for Semantic Query Optimization in Relationa.. (context) - King - 1981
33 Testing containment of conjunctive queries under functional .. (context) - Johnson, Klug - 1984
32 Constraints and Redundancy in Datalog - Levy, Sagiv - 1992
32 Functional and Inclusion Dependencies: A Graph Theoretic App.. (context) - Cosmadakis, Kanellakis - 1984
32 Knowledge Based Query Processing (context) - Hammer, Zdonik - 1980
31 Independence of Logic Database Queries and Updates (context) - Elkan - 1990
31 Semantic Query Optimization in Datalog Programs (context) - Levy, Sagiv - 1995
30 The Implication Problem for Functional and Inclusion Depende.. (context) - Chandra, Vardi - 1983
29 Efficient optimization of a class of relational expressions (context) - Aho, Sagiv et al. - 1979
27 A System for Semantic Query Optimization (context) - Shenoy, Ozsoyoglu - 1987
26 The Implication Problem for Functional and Inclusion Depende.. (context) - Mitchell - 1983
20 On Efficient Reasoning with Implication Constraints - Zhang, Ozsoyoglu - 1993
18 Optimizing conjunctive queries that contain untyped variable.. (context) - Johnson, Klug - 1983
14 Using Integrity Constraints to Provide Intensional Answers t.. (context) - Motro - 1989
12 Constraints for Improving the Generation of Intensional Answ.. (context) - Pirotte, Roelants - 1989
9 Semantic Query Optimization in Recursive Databases (context) - Lee, Han - 1988
7 Constraint-Based Reasoning in Deductive Databases (context) - Han - 1991
5 Optimization of a Subclass of Conjunctive Queries (context) - Dublish, Biskup et al.
5 The Maintenance of Implication Integrity Constraints - Ishakbeyoglu, Ozsoyoglu
5 Inference Rules for Functional and Inclusion Dependencies (context) - Mitchell - 1983
4 Employing Integrity Constraints for Query Modification and I.. (context) - Fonkam, Gray - 1992
4 The Complexity of Querying Infinite Data About Linearly Orde.. (context) - van der Meyden - 1992
4 Inclusion Dependencies and the Universal Instance (context) - Sciore - 1983
3 An Efficient Query Optimization Algorithm (context) - Pang, Lu et al. - 1991
3 Quadratic algorithms for minimizing joins in restricted rela.. (context) - Sagiv - 1983
2 Termination (context) - Dershowitz - 1985
1 Some Results on the Containment and Minimization of (In)equa.. - Zhang, Ozsoyoglu - 1994
1 Query Optimization in Distributed Databases (context) - Ozsoyoglu - 1980
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://erciyes.ces.cwru.edu/ozsoy/recent-pubs.html): More
Querying and Manipulating Multimedia Presentation Graphs - Lee, Sheng, Bozkaya.. (1996) (Correct)
On Efficient Reasoning with Implication Constraints - Zhang, Ozsoyoglu (1993) (Correct)
Testing Satisfiability Of A Conjunction Of Inequalities - Naci Ishakbeyoglu (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