Abstract
We present an efficient implementation method for temporal 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 auxdiary relations that contain the historical information necessary for checking constraints. Auxiliary relations can be implemented as materialized relational views.
| Original language | English |
|---|---|
| Pages (from-to) | 149-186 |
| Number of pages | 38 |
| Journal | ACM Transactions on Database Systems (TODS) |
| Volume | 20 |
| Issue number | 2 |
| DOIs | |
| State | Published - Jan 6 1995 |
Keywords
- Active databases
- database integrity
- integrity constraints
- real-time databases
- temporal databases
- temporal logic
- triggers
Fingerprint
Dive into the research topics of 'Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver