On Decidability and Complexity of Description Logics with Uniqueness Constraints.

@inproceedings{DBLP:conf/icdt/KhizderTW01,
  author    = {Vitaliy L. Khizder and
               David Toman and
               Grant E. Weddell},
  editor    = {Jan Van den Bussche and
               Victor Vianu},
  title     = {On Decidability and Complexity of Description Logics with Uniqueness
               Constraints},
  booktitle = {Database Theory - ICDT 2001, 8th International Conference, London,
               UK, January 4-6, 2001, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1973},
  year      = {2001},
  isbn      = {3-540-41456-8},
  pages     = {54-67},
  ee        = {db/conf/icdt/KhizderTW01.html, http://link.springer.de/link/service/series/0558/bibs/1973/19730054.htm},
  crossref  = {DBLP:conf/icdt/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Edition: Springer LINK

References

[1]

Serge Abiteboul, Victor Vianu: Queries and Computation on the Web. ICDT 1997: 262-275 BibTeX

[2]

Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682(1995) BibTeX

[3]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[4]

Alexander Borgida, Grant E. Weddell: Adding Uniqueness Constraints to Description Logics (Preliminary Report). DOOD 1997: 85-102 BibTeX

[5]

Peter Buneman, Wenfei Fan, Scott Weinstein: Path Constraints in Semistructured and Structured Databases. PODS 1998: 129-138 BibTeX

[6]

Peter Buneman, Wenfei Fan, Scott Weinstein: Interaction between Path and Type Constraints. PODS 1999: 56-67 BibTeX

[7]

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 BibTeX

[8]

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 BibTeX

[9]

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88 BibTeX

[10]

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263 BibTeX

[11]

...

[12]

Jan Chomicki, Tomasz Imielinski: Finite Representation of Infinite Query Answers. ACM Trans. Database Syst. 18(2): 181-223(1993) BibTeX

[13]

Wenfei Fan, Jérôme Siméon: Integrity Constraints for XML. PODS 2000: 23-34 BibTeX

[14]

...

[15]

Minoru Ito, Grant E. Weddell: Implication Problems for Functional Constraints on Databases Supporting Complex Objects. J. Comput. Syst. Sci. 49(3): 726-768(1994) BibTeX

[16]

...

[17]

Vitaliy L. Khizder, David Toman, Grant E. Weddell: Reasoning about Duplicate Elimination with Description Logic. Computational Logic 2000: 1017-1032 BibTeX

[18]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[19]

Martin F. van Bommel, Grant E. Weddell: Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. 6(3): 455-469(1994) BibTeX

[20]

Grant E. Weddell: A Theory of Functional Dependencies for Object-Oriented Data Models. DOOD 1989: 165-184 BibTeX

[21]

Grant E. Weddell: Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Trans. Database Syst. 17(1): 32-64(1992) BibTeX