Abstract
Purchase PDF (2094 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (7)
Purchase PDF (1400 K)
doi:10.1016/0169-023X(95)00045-T 
Copyright © 1996 Published by Elsevier Science B.V.
Paper
A formalization of the Binary Object-Role Model based on logic
Olga De Troyer
Received 4 January 1995;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper proposes a formalization of the Binary Object-Role Model (B-ORM) based on a general logical formalism for data models, called DM-Logic. This formalism can also be used to formally describe, e.g. ER-models, the Relational Model and Object-Oriented Models. As such, this formalization not only describes in a comprehensive manner the many complex aspects of B-ORM, it also provide a formal basis for interoperability. We define the concepts of schema, population or state, and integrity constraint. A schema is defined as a first-order logical theory, the states are the models of the theory and the integrity constraints are closed well formed formulas. Queries can be considered as open well formed formulas. The formalism is then used to define the different types of constraints and lexical referenceability, a key concept for transforming B-ORM schemas into Relational one's.
Author Keywords: Binary-relationship model; Conceptual models; Data schema; Integrity constraints; Lexical reference-ability; First-order logic; Many sorted logic
