Towards the correctness and consistency of update semantics in semantic database schema

Author

Peckham, Joan ; Maryanski, Fred ; Demurjian, Steven A.

Author_Institution

Dept. of Comput. Sci. & Stat., Rhode Island Univ., Kingston, RI, USA

Volume

8

Issue

3

fYear

1996

fDate

6/1/1996 12:00:00 AM

Firstpage

503

Lastpage

507

Abstract

Discusses a paradigm and prototype system for the design-time expression, checking and automatic implementation of the semantics of database updates. Enforcement rules are viewed as the implementation of constraints and are specified, checked for consistency, and then finally mapped to object-oriented code during database design. A classification of enforcement rule types is provided as a basis for these design activities, and the general strategy for specification, analysis and implementation of these rules within a semantic modeling paradigm is discussed. SORAC (Semantics, Objects, Relationships And Constraints), a prototype database design system of the University of Rhode Island, is also described

Keywords

active databases; data integrity; data structures; database theory; object-oriented programming; semantic networks; Data modeling; SORAC; active databases; automatic implementation; consistency checking; constraint maintenance; constraints; data consistency; database design system; design-time expression; enforcement rule types; object-oriented code; rule specification; schema checking; semantic database schema; semantic modeling paradigm; update semantics consistency; update semantics correctness; Application software; Computer science; Data analysis; Database systems; Design automation; Information analysis; Object oriented databases; Object oriented modeling; Prototypes; Real time systems;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.506716

Filename

506716