Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
  • 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},
}