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,936 | Time Modeling in Office Information Systems | 1985 | SIGMOD | 6.3341272e-05 |
| 5,334 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.1618919e-05 |
| 5,542 | A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management | 1992 | VLDB | 6.0739756e-05 |
| 6,343 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD | 5.7911465e-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 |
|---|---|---|---|---|
| 936 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.0001296261 |
| 2,082 | An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) | 1983 | VLDB | 9.0565008e-05 |
| 3,866 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 6.9444308e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,569 | Specification and Verification of Abstract Database Types | 1984 | PODS |
| 2 | 14,455 | Temporal Integrity Constraints with Indeterminacy | 2000 | VLDB |
| 3 | 4,140 | Temporal Conditions and Integrity Constraints in Active Database Systems | 1995 | SIGMOD |
| 4 | 4,191 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 5 | 2,326 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 6 | 4,355 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 7 | 7,618 | A Transaction Logic for Database Specification | 1988 | SIGMOD |
| 8 | 5,334 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD |
| 9 | 936 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 10 | 6,343 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD |