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
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-02-01, 2002. LTCS-Report
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},
}
