Vitaliy L. Khizder, David Toman, Grant Weddell  Home/Search
Context Related
| db.uwaterloo.ca/~dav...papersicdt01.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: db.uwaterloo.ca/~david/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We establish the equivalence of: (1) the logical implication problem for a description logic dialect called DLClass that includes a concept constructor for expressing uniqueness constraints, (2) the logical implication problem for path functional dependencies (PFDs), and (3) the problem of answering queries in deductive databases with limited use of successor functions. As a consequence, we settle an open problem concerning lower bounds for the PFD logical implication problem and show that a... (Update)
Cited by: More
Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
On Attributes, Roles, and Dependencies in Description Logics.. - Toman, Weddell (Correct)
Fine Grained Information Integration - With Description Logics (2002) (Correct)
Similar documents (at the sentence level):
53.6%: On Decidability and Complexity of Description Logics with .. - Khizder, Toman, Weddell (2000) (Correct)
Active bibliography (related documents): More All
0.7: Reasoning about Duplicate Elimination with Description Logic - Khizder, Toman, Weddell (2000) (Correct)
0.4: On Reasoning about Structural Equality in XML: A Description.. - Toman, Weddell (Correct)
0.3: Constraints in Object-Oriented Databases - Biskup, Polle (2000) (Correct)
Similar documents based on text: More All
0.4: Query Processing - In Embedded Control (Correct)
0.3: Querying XML with FLWR Expressions in FO N + count: - On The Utility (Correct)
0.3: Rewriting Aggregate Queries using Description Logic - David Dehaan David (Correct)
Related documents from co-citation: More All
7: Adding uniqueness constraints to description logics - Borgida, Weddell - 1997
6: Reasoning about Duplicate Elimination with Description Logic - Khizder, Toman et al. - 2000
5: Attributive concept descriptions with complements (context) - ss, Smolka - 1991
BibTeX entry: (Update)
Vitaliy L. Khizder, David Toman, and Grant Weddell. On Decidability and Complexity of Description Logics with Uniquwness Constraints. Technical report, Dept. of Computer Science, University of Waterloo, 2000. (submitted). http://citeseer.ist.psu.edu/khizder00decidability.html More
@article{ khizder01decidability,
author = "Vitaliy L. Khizder and David Toman and Grant Weddell",
title = "On Decidability and Complexity of Description Logics with Uniqueness Constraints",
journal = "Lecture Notes in Computer Science",
volume = "1973",
pages = "54+",
year = "2001",
url = "citeseer.ist.psu.edu/khizder00decidability.html" }
Citations (may not include all citations):133 Foundations of Logic Programming (context) - Lloyd - 1987
57 Queries and computation on the web - Abiteboul, Vianu - 1997
57 IEEE Transactions on Knowledge and Data Engineering (context) - Borgida, in - 1995
31 Answering Queries Using Views in Description Logics - Calvanese, De Giacomo et al. - 1999
26 Implication Problems for Functional Constraints on Databases.. (context) - Ito, Weddell - 1994
16 Functional Deductive Databases: Query Processing in the Pres.. (context) - Chomicki - 1990
11 Adding uniqueness constraints to description logics - Borgida, Weddell - 1997
10 Reasoning about Duplicate Elimination with Description Logic - Khizder, Toman et al. - 2000
8 Reasoning About Equations and Functional Dependencies on Com.. (context) - van Bommel, Weddell - 1994
8 Reasoning about Functional Dependencies Generalized for Sema.. (context) - Weddell - 1992
7 A Theory of Functional Dependencies for Object Oriented Data.. (context) - Weddell - 1989
6 Alternation and the Ackermann Case of the Decision Problem (context) - urer - 1981
4 Description logics for conceptual data modelling (context) - Calvanese, Lenzerini et al. - 1998
3 Uniqueness Constraints in Object-Relational Databases and De.. (context) - Khizder - 1999
2 Finite Representation of Innite Query Answers (context) - Chomicki, Imieli - 1993
2 Structured Objects: modeling and reasonning (context) - Calvanese, De Giacomo et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://db.uwaterloo.ca/~david/cv.html): More
Implementing Temporal Integrity Constraints Using an Active DBMS - Chomicki, Toman (1995) (Correct)
A Point-based Temporal Extension of SQL - Toman (1997) (Correct)
Memoing Evaluation for Constraint Extensions of Datalog - Toman (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