Attribute inversion in description logies with path functional dependencies

CEUR Workshop Proceedings

Volumn 104, Issue , 2004, Pages

  Toman, David ^a   Weddell, Grant ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

COHERENCE CONDITIONS; DESCRIPTION LOGIC; FUNCTIONAL DEPENDENCY; LOGICAL IMPLICATIONS; OBJECT ORIENTED;

DATA DESCRIPTION;

EID: 33749572533     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc, 66:1-72, 1966.
2. Joachim Biskup, Ralf Menzel, Torsten Polle, and Yehoshua Sagiv. Decomposition of Relationships through Pivoting. In Conceptual Modeling - ER'96, pages 28-41, 1996.
3. Joachim Biskup and Torsten Polle. Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. In Foundations of Information and Knowledge Systems, pages 31-49, 2000.
4. Joachim Biskup and Torsten Polle. Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Informatica, 39:391-449, 2003.
5. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Identification Constraints and Functional Dependencies in Description Logics. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 155-160, 2001.
6. David DeHaan, David Toman, and Grant E. Weddell. Rewriting Aggregate Queries using Description Logics. In Description Logics 2003, pages 103-112. CEUR-WS Vol. 81, 2003.
7. Martin Fürer. Alternation and the Ackermann Case of the Decision Problem. L'Enseignement Math., 27:137-162, 1981.
8. Minoru Ito and Grant Weddell. Implication Problems for Functional Constraints on Databases Supporting Complex Objects. Journal of Computer and System Sciences, 49(3):726-768, 1994.
9. Vitaliy L. Khizder, David Toman, and Grant E. Weddell. Reasoning about Duplicate Elimination with Description Logic. In Rules and Objects in Databases, DOOD 2000 (part of Computational Logic 2000), pages 1017-1032, 2000.
10. Vitaliy L. Khizder, David Toman, and Grant E. Weddell. On Decidability and Complexity of Description Logics with Uniqueness Constraints. In International Conference on Database Theory ICDT'01, pages 54-67, 2001.
11. Huizhu Liu, David Toman, and Grant E. Weddell. Fine Grained Information Integration with Description Logic. In Description Logics 2002, pages 1-12. CEUR-WS Vol. 53, 2002.
12. Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 349-354, 2003.
13. Lubomir Stanchev and Grant E. Weddell. Index Selection for Embedded Control Applications using Description Logics. In Description Logics 2003, pages 9-18. CEUR-WS Vol. 81, 2003.
14. David Toman and Grant E. Weddell. On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. In Description Logics 2001, pages 76-85. CEUR-WS Vol. 49, 2001.
15. David Toman and Grant E. Weddell. On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science, 2004. ICDT 2003 special issue, in press.
16. P. van Emde Boas. The convenience of tilings. In Complexity, Logic, and Recursion Theory, Volume 187 of Lecture notes in pure and applied mathe-matics, pages 331-363. Marcel Dekker Inc., 1997.
17. Grant Weddell. A Theory of Functional Dependencies for Object Oriented Data Models. In International Conference on Deductive and Object-Oriented Databases, pages 165-184, 1989.
18. Grant E. Weddell. Reasoning about Functional Dependencies Generalized for Semantic Data Models. TODS, 17(1):32-64, 1992.