Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Aus International Center for Computational Logic
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Carsten LutzCarsten Lutz
Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Proceedings of the 2002 International Workshop on Description Logics, to appear
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Proceedings of the 2002 International Workshop on Description Logics, to appear
- KurzfassungAbstract
Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design. To aid database designers in building (extended) ER schemas, Description Logics (DLs) have been proposed and successfully used as a tool for reasoning about such schemas. In this paper, we propose the extension of ER diagrams with dependencies on attributes and show how such dependencies can be translated into DLs with concrete domains. The result is an integrated approach to reasoning with conceptual models and attribute dependencies. - Bemerkung: Note: To appear
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Lutz-DL-02,
author = {C. {Lutz}},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics},
note = {To appear},
title = {Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies},
year = {2002},
}