Abstract
An efficient implementation method is described for dynamic integrity constraints formulated in past temporal logic. Although the constraints can refer to past states of the database, their checking does not require that the entire database history be stored. Instead, every database state is extended with auxiliary relations that contain the historical information necessary for checking constraints. Auxiliary relations can be implemented as materialized relational views. The author analyzes the computational cost of the method and outlines how it can be implemented by using existing database technology. Related work on dynamic integrity constraints is surveyed.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - International Conference on Data Engineering |
| Publisher | Publ by IEEE |
| Pages | 557-564 |
| Number of pages | 8 |
| ISBN (Print) | 0818625457 |
| State | Published - Jan 1992 |
| Event | 8th International Conference on Data Engineering - Tempe, AZ, USA Duration: Feb 3 1992 → Feb 7 1992 |
Publication series
| Name | Proceedings - International Conference on Data Engineering |
|---|
Conference
| Conference | 8th International Conference on Data Engineering |
|---|---|
| City | Tempe, AZ, USA |
| Period | 02/3/92 → 02/7/92 |
Fingerprint
Dive into the research topics of 'History-less checking of dynamic integrity constraints'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver