Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Functional deductive databases: query processing in the presence of limited function symbols
Functional deductive databases: query processing in the presence of limited function symbols
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Proceedings of the 30th IEEE symposium on Foundations of computer science
Path constraints on semistructured and structured data
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Description logics for conceptual data modeling
Logics for databases and information systems
Interaction between path and type constraints
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Adding Uniqueness Constraints to Description Logics (Preliminary Report)
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Queries and Computation on the Web
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Uniqueness constraints in object-relational databases and description logics
Uniqueness constraints in object-relational databases and description logics
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Query Processing in Embedded Control Programs
DBTel '01 Proceedings of the VLDB 2001 International Workshop on Databases in Telecommunications II
On keys and functional dependencies as first-class citizens in description logics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
| Hi-index | 0.00 |
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 regularity condition for DLClass that ensures low order polynomial time decidability for its logical implication problem is tight.