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
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-02-01, 2002. LTCS-Report
  • 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: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ Lutz-LTCS-02-01,
  address = {Germany},
  author = {C. {Lutz}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.},
  number = {LTCS-02-01},
  title = {Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies},
  type = {LTCS-Report},
  year = {2002},
}