The formal specification of ORN semantics |
| |
| Affiliation: | 1. Department of Computer Information Sciences, Florida A&M University, Tallahassee, FL 32307, USA;2. High-Performance Database Research Center, Florida International University, University Park, Miami, FL 33199, USA;1. Politecnico di Milano, Dipartimento di Elettronica e Informazione, P.za Leonardo da Vinci 32, Milan 20133, Italy;2. Norwegian University of Science and Technology, Trondheim 7034, Norway;1. Department of Management Science, University of Vienna, A1010 Vienna, Austria;2. Department of Statistics and Decision Support Systems, University of Vienna, Vienna, Austria |
| |
| Abstract: | Object Relationship Notation (ORN) is a declarative scheme that permits a variety of common types of relationships to be conveniently defined to a Database Management System (DBMS), thereby allowing the DBMS to automatically enforce their semantics. Though first proposed for object DBMSs, ORN is applicable to any data model that represents binary entity-relationships or to any DBMS that implements them. In this paper, we first describe ORN semantics informally as has been done in previous papers. We then provide a formal specification of these semantics using the Z-notation. Specifying ORN semantics via formal methods gives ORN a solid mathematical foundation. The semantics are defined in the context of an abstract database of sets and relations in a recursive manner that is precise, unambiguous, and noncircular. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
