A Temporal Framework for Database Specification and Verification
Summary: Temporal framework for database specification and verification; treats the DB as a dynamic object with state evolution. Formal method checks static constraint consistency, validates operation descriptions for executability, and ensures all permissible sequences satisfy temporal constraints. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. C.H. Kung (The Norwegian Institute of Technology)
BibTeX Citation
@article{kung_vldb84,
title = {{A Temporal Framework for Database Specification and Verification}},
author = {Kung, C.H.},
journal = {PVLDB},
series = {{VLDB} '84},
pages = {91},
year = {1984}
}Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,910 | Time Modeling in Office Information Systems | 1985 | SIGMOD | 6.3581502e-05 |
| 5,311 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.1852625e-05 |
| 5,518 | A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management | 1992 | VLDB | 6.0970061e-05 |
| 6,328 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD | 5.813111e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 930 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.00013011733 |
| 2,069 | An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) | 1983 | VLDB | 9.0892916e-05 |
| 3,854 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 6.9707694e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 14,410 | Temporal Integrity Constraints with Indeterminacy | 2000 | VLDB |
| 2 | 13,522 | Specification and Verification of Abstract Database Types | 1984 | PODS |
| 3 | 4,120 | Temporal Conditions and Integrity Constraints in Active Database Systems | 1995 | SIGMOD |
| 4 | 4,170 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 5 | 2,312 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 6 | 4,335 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 7 | 7,595 | A Transaction Logic for Database Specification | 1988 | SIGMOD |
| 8 | 5,311 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD |
| 9 | 930 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 10 | 6,328 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD |