Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies

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

Details
Bibtex

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

Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies

Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies

Carsten LutzCarsten Lutz