ER modelling from first relational principles
| Autor: | Ernst-Erich Doberkat, Eugenio G. Omodeo |
|---|---|
| Přispěvatelé: | DOBERKAT E., E, Omodeo, Eugenio |
| Rok vydání: | 2004 |
| Předmět: |
Theoretical computer science
General Computer Science Formal semantics (linguistics) Relation algebra Relational foundations of data modelling Popularity Entity-Relationship models (static and dynamic view) Theoretical Computer Science Data modeling Entity–relationship model Algorithm Computer Science(all) Mathematics |
| Zdroj: | Theoretical Computer Science. 311:285-323 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2003.09.001 |
| Popis: | Entity-Relationship (ER) modelling is a popular technique for data modelling. Despite its popularity and widespread use, it lacks a firm semantic foundation. We propose a translation of an ER-model into relation algebra, suggesting that this kind of algebra does provide suitable mechanisms for establishing a formal semantics of ER modelling. The work reported on here deals first with the techniques necessary for the translation, thus constructing a static view of an ER-model in an abstract setting of what might be called logic without variables. We then undertake a detailed analysis of the insertion and deletion operations for an ER-model represented in terms of the relation calculus. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect