๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebraic semantics of ER-models in the context of the calculus of relations: I: Static view

โœ Scribed by Eugenio G. Omodeo; Ernst-Erich Doberkat

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
252 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

โœฆ Synopsis

Entity-Relationship modeling is a popular technique for data modeling. Despite its popularity and wide spread use, it lacks a firm semantic foundation. We propose a translation of an ER-model into the formalism provided by the calculus of relations, suggesting that this calculus does provide suitable mechanisms for establishing a formal semantics of entity-relationship modeling. This paper deals with the techniques necessary for the translation and provides a static view of an ER-model.

๐Ÿ“œ SIMILAR VOLUMES

Unification of nonlinear filtering in th
Unification of nonlinear filtering in the context of binary logical calculus, part I: Binary filters
โœ Edward R. Dougherty; Robert M. Haralick ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer US ๐ŸŒ English โš– 891 KB

The mathematical structure of nonlinear filtering is expressed in the context of binary logic. This first part of a two-part study concerns the binary setting. Operator properties, such as antiextensivity and idempotence, are expressed in finite logical expressions, as are the Matheron representatio