Thémis: a database programming language with integrity constraints

@inproceedings{Benzaken1993ThmisAD,
  title={Th{\'e}mis: a database programming language with integrity constraints},
  author={V{\'e}ronique Benzaken and Anne Doucet},
  booktitle={DBPL},
  year={1993}
}
This paper is concerned with the problem of eeciently checking of integrity constraints in data base programming languages supporting sub-typing and class hierarchies. More speciically, we consider two diierent problems: (1) statically reduce the number of constraints to be checked, and (2) generate an eecient run time checker. Using simple strategies, one can signiicantly improve the eeciency of the veriication. We show how to reduce the number of constraints to be checked by characteris-ing… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Contr^ ole de la coh erence dans les bases objets : Une approche par le comportement

H Mar, Martin
Contr^ ole de la coh erence dans les bases objets : Une approche par le comportement • 1991

Data Base Schemas and Types Systems for DBPLs, a Deenition and its Applications

Lr, C L Ecluse, P Richard
Data Base Schemas and Types Systems for DBPLs, a Deenition and its Applications • 1990

International Workshop on Database Programming Languages

Hms R Hull, R Morrison, D Stemple
International Workshop on Database Programming Languages • 1989

A Semantics of Multiple Inheritance

Semantics of Data Types • 1984

Similar Papers

Loading similar papers…