Design and implementation of an extendible integrity subsystem

@inproceedings{Simon1984DesignAI,
  title={Design and implementation of an extendible integrity subsystem},
  author={Eric Simon and Patrick Valduriez},
  booktitle={SIGMOD '84},
  year={1984}
}
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

TLDR
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.

Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem

TLDR
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.

Integrity Control in Relational Database Systems - An Overview

Informatik-berichte Ice an Environment F O R Integrity-centered Database Design Contents Ice Concepts and System Structure

TLDR
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

TLDR
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

TLDR
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.

Parallel execution of integrity constraint checks

TLDR
This paper compile the constraints of integrity constraints into an extended relational algebra, which is input to a parallel constraint engine Pace, and demonstrates the processing costs that can be achieved by parallel integrity constraint evaluation.

Design and Implementation of SABRE a Deductive and Parallel Database Machine

TLDR
This paper presents a first design of the rule management functions which are currently being added to SABRE; with such an enhancement, the system will be a fully deductive MIMD knowledge machine offering among others a conversational knowledge manipulation language based on production rules and QUEL or SQL like queries.

Transaction-Based Specification of Database Evolution

TLDR
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.

Semantic data engineering for generalized databases

  • G. Nguyen
  • Computer Science
    1986 IEEE Second International Conference on Data Engineering
  • 1986
TLDR
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.

References

SHOWING 1-9 OF 9 REFERENCES

AIM - An Integrity Monitor for the Database System INGRES

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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.