DMCA
Thémis: a Database Programming Language Handling Integrity Constraints (1995)
Cached
Download Links
- [www.sigmod.org]
- [www.vldb.org]
- [ftp.lri.fr]
- DBLP
Other Repositories/Bibliography
| Citations: | 23 - 10 self |
BibTeX
@MISC{Benzaken95thémis:a,
author = {Véronique Benzaken and I Sorbonne and Anne Doucet},
title = {Thémis: a Database Programming Language Handling Integrity Constraints},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This article presents a data base programming language: Th'emis supporting subtyping and class hierarchies and allowing for the definition of integrity constraints in a global and declarative way. We first describe the salient features of the language: types, names, classes, integrity constraints (including methods) and transactions. The inclusion of methods into integrity constraints allows an increased of the declarative power of these constraints. Indeed, the information needed in the definition of a constraint is not always stored in the database through attributes, but is sometimes computed or derived data. Then we address the problem of efficiently checking constraints. More specifically, we consider two different problems: (1) statically reducing the number of constraints to be checked, and (2) generating an efficient run-time checker. Using simple strategies, one can significantly improve the efficiency of the verification. We show how to reduce the number of constraints to be ...
