The formal specification of ORN semantics

被引：4

作者：

Ehlmann, BK ^{[1
]}

Rishe, N

Shi, J

机构：

[1] Florida A&M Univ, Dept Comp Informat Sci, Tallahassee, FL 32307 USA

[2] Florida Int Univ, High Performance Database Res Ctr, Miami, FL 33199 USA

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 2000年 / 42卷 / 03期

基金：

美国国家科学基金会;

关键词：

object relationship notation; data modeling; formal methods;

D O I：

10.1016/S0950-5849(99)00051-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. Ln 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. (C) 2000 Elsevier Science B.V. All rights reserved.

引用

页码：159 / 170

页数：12

共 13 条

[1]

[Anonymous], DATABASE SYSTEMS, DOI DOI 10.1145/320434.320440

[2]

ATWOOD T, 1996, OBJECT DATABASE STAN

[3]

BROWN SG, 1997, P ADMI 97 INCR DIV R, P130

[4]

DATE CJ, 1990, RELATIONAL DATABASE, P119

[5] A comparison of ORN to other declarative schemes for specifying relationship semantics [J].

Ehlmann, BK ;

Riccardi, GA .

INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (07) :455-465

[6]

Ehlmann BK, 1997, J OBJECT-ORIENT PROG, V10, P47

[7] Object Relater Plus: A practical tool for developing enhanced object databases [J].

Ehlmann, BK ;

Riccardi, GA .

13TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING - PROCEEDINGS, 1997, :412-421

[8]

EHLMANN BK, UNPUB RELATIONSHIP C

[9]

EHLMANN BK, 1997, P 3K ACM SE C MURFR, P282

[10]

HARDEMAN SK, 1996, P 34 ACM SE C, P224

← 1 2 →