Although object-oriented data models provide rich language constructs for modelling the domain of discourse, there is a need for additional features in order to restrict the database to legal states. Such language extensions should fit naturally into the formalisms of the data model and should respect object-oriented comforts like encapsulation and inheritance. Furthermore, we want to reuse as much as possible from the existing data definition and data manipulation languages, in order not to burden the application programmer with a total new syntax. As a consequence we introduce a language for semantic integrity constraints that is very small with regard to the number of new language elements. The proposed language does not only obey the principles of object-orientation but additionally is inherently conform to the new structural concepts of object-oriented database systems. We proved the feasibility of our approach by a prototype on top of the commercial objectoriented database management system O 2. 1
|
952
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
628
|
Eiffel: The Language
– Meyer
- 1991
|
|
206
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
122
|
Implementation of integrity constraints and views by query modification
– Stonebraker
- 1975
|
|
113
|
Rules are objects too: A knowledge model for an active, object-oriented databasesystem
– Dayal, Buchmann, et al.
- 1988
|
|
104
|
Active Database Management Systems
– Dayal
- 1988
|
|
93
|
as an Active Database: Constraints and Triggers
– Ode
- 1991
|
|
88
|
On rules, procedures, caching and views in data base systems
– STONEBRAKER, JHINGRAN, et al.
- 1990
|
|
70
|
A model for active object oriented database
– BEERI, T
- 1991
|
|
64
|
Rule Management in object oriented databases: A uniform approach
– Diaz
- 1991
|
|
53
|
A new perspective on rule support for object-oriented databases
– Anwar, Maugis, et al.
- 1993
|
|
45
|
The integration of rule systems and database systems
– Stonebraker
- 1992
|
|
44
|
On the Development of Data Models. in
– Brodie
- 1984
|
|
44
|
History-less Checking of Dynamic Integrity Constraints
– Chomicki
- 1992
|
|
35
|
et al, “The HiPAC Project: combining Active Database and Timing
– Dayal
- 1988
|
|
33
|
Functional specifications of a subsystem for data base integrity
– ESWARAN, CHAMBERLIN
- 1975
|
|
31
|
From relational to object-oriented integrity simplification
– Jeusfeld, Jarke
- 1991
|
|
28
|
On the Design and Specification of Database Transactions
– Brodie, Ridjanovic
|
|
25
|
A system for semantic query optimization
– Shenoy, Özsoyoglu
|
|
24
|
Object Integrity Using Rules
– Medeiros, Pfeffer
- 1991
|
|
24
|
The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database
– Urban, Karadimce, et al.
- 1992
|
|
10
|
A transaction-based approach to relational database specification
– Abiteboul, Vianu
- 1989
|
|
10
|
CONTEXT: a CONstraint EXplanation Tool
– Urban, Desiderio
- 1992
|
|
8
|
The object oriented database system manifesto
– Atkinson, DeWitt, et al.
- 1989
|
|
8
|
Dynamische Integritat von Datenbanken: Grundlagen der Spezifikation und Uberwachung (Dynamic Database Integrity
– Lipeck
- 1989
|
|
5
|
Datenbanksysteme: Konzepte und Modelle
– Schlageter, Stucky
- 1983
|
|
3
|
Gambit: An interactive database design tool for data structures, integrity constraints and transactions
– Bragger
- 1985
|
|
2
|
Integritatssicherung durch lokale Methoden
– Koschorreck, Lipeck
- 1992
|
|
2
|
Integritatssicherung durch zusammengesetzte Objekte
– Koschorreck
- 1992
|
|
1
|
Pradikative Selektion als Grundlage fur Transaktionssynchronisation und Datenintegrit at
– Bottcher
- 1989
|
|
1
|
Enforcing integrity in the KBMS KRISYS
– De��loch
- 1990
|
|
1
|
Konsistenzwerkzeuge fur PROLOG--Wissensbasen
– Ester
- 1989
|
|
1
|
Apers. Integrity control in relational database systems--An overview
– Grefen93, G
- 1993
|
|
1
|
Uberwachung von Konsistenzbedingungen
– Gahler
- 1991
|
|
1
|
A framework for data base semantic integrity
– Hammer, McLeod
- 1976
|
|
1
|
Integrity maintaince in an object--oriented database
– Jagadish, Qian
- 1992
|
|
1
|
Konsistenzsicherung durch Verwaltung von Inkonsistenzen
– Leikauf
- 1991
|
|
1
|
Assuring database integrity
– Stemple, Simon, et al.
- 1990
|
|
