Design and implementation of an extendible integrity subsystem

  title={Design and implementation of an extendible integrity subsystem},
  author={Eric Simon and Patrick Valduriez},
  booktitle={SIGMOD '84},
Tnls paper presents a powerful integrrty subsystem, which is implemented in the SABRE database system. The specification language is simple. Tne enforcement algorithm is general, in particular, it handles referential dependency and temporal assertions. Specialized strategies efficiently treat each class of assertions. The system automatically manages integrity checkpoints. Also, an efficient method is described for processing assertions involving aggregates. An analysis exhibits the value of… 

Figures from this paper

Integrity Constraint Enforcement through Transaction Modification
A mechanism for integrity constraint handling based on transaction modification is proposed, which conforms to the complete transaction model, complying with transaction atomicity and serializability.
SICSDD: Techniques and Implementation
The constituent techniques and the implementation of a semantic integrity subsystem for a distributed database (SICSDD) provides complete functionality and an efficient strategy for constraint enforcement.
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem
It is well possible for an integrity control technique to combine a formal approach with complete functionality and high performance, as shown in this paper.
Informatik-berichte Ice an Environment F O R Integrity-centered Database Design Contents Ice Concepts and System Structure
This paper presents an environment for the integrity-centered database design which supports this process from the first creation of a database schema up to the implementation of respective integrity maintaining mechanisms, i.e. integrity preserving transactions and integrity maintaining triggers.
Assuring Database Integrity
This work presents a theorem-based method of simplifying integrity constraints at the heart of most techniques for achieving efficient integrity assurance, and argues that these techniques are currently practical enough to be included in database system products in the near future.
Performance Evaluation of Integrity Control in a Parallel Main-Memory Database System
The conclusion is drawn, that integrity control is well feasible in high-performance database systems and the overhead of constraint enforcement is shown to be acceptable compared to the execution of transactions without integrity control.
Transaction-Based Specification of Database Evolution
This work presents a two-layer language for the specification of database evolution in terms of transaction-based, dynamic integrity constraints, which is orthogonal to state-based constraint languages and it can be used as a supplement to these.
Horizontal partitioning method for test verification in parallel database systems
This research paper presents a partitioning method to divide the database relations into dynamic horizontal partitions and presents the algorithm of distributing the integrity tests among the horizontal partitions.
Semantic data engineering for generalized databases
  • G. Nguyen
  • Computer Science
    1986 IEEE Second International Conference on Data Engineering
  • 1986
This paper presents a new method for database and knowledge base integrity control based on object-oriented concepts and on logic programming, using a novel technique for semantic integrity enforcement in database applications, based on the notions of object prototypes and database sample.


AIM - An Integrity Monitor for the Database System INGRES
AIM is a batch component for periodic integrity control and an interactive component which provides an instantaneOUS semantic control mechanism at the user interface which implements a prevention strategy and dynamic integrity constraints the basis of DUEL qualifications.
Implementation of integrity constraints and views by query modification
The mechanism being implemented in one relational system to prevent integrity violations which can result from improper updates by a process is indicated.
Efficient monitoring of database assertions
The technique therefore supports all the advantages of the declarative approach to database assertion-monitoring, while retaining the level of efficiency that is usually associated with procedural methods.
Fast methods for testing quantified relational calculus assertions
An efficient algorithm for evaluating an assertion produced by an assertion simplification algorithm is developed and how these techniques may be used to improve the efficiency of evaluating assertions outside the class are shown.
System R: relational approach to database management
This paper contains a description of the overall architecture and design of the system, and emphasizes that System R is a vehicle for research in database architecture, and is not planned as a product.
Semantic integrity in a relational data base system
High-level nonprocedural languages to facilitate the expression of two types of semantic integrity information that are important in the context of a relational data base system are introduced and examples are presented.
Referential Integrity
The problem of referential integrity is discussed and a proposal for dealing with it in a relational framework is described in some detail. The proposal is consistent with a more general integrity
Join and Semijoin Algorithms for a Multiprocessor Database Machine
This paper presents and analyzes algorithms for computing joins and semijoins of relations in a multiprocessor database machine and selects the best algorithm for performing a join according to the results presented here.