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)

Paper ID: 7827
Venue: VLDB
Year: 1984
Pagerank: 6.3710813e-05
Overall Rank: 5,081 | 65.15%
DOI: -

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,793	Time Modeling in Office Information Systems	1985	SIGMOD	6.504062e-05
5,190	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.3272286e-05
5,387	A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management	1992	VLDB	6.2368961e-05
6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.9465353e-05

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
906	A Temporal Framework for Database Specifications	1982	VLDB	0.00013310115
2,022	An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)	1983	VLDB	9.2961072e-05
3,781	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB	7.1307623e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,232	Specification and Verification of Abstract Database Types	1984	PODS
2	14,099	Temporal Integrity Constraints with Indeterminacy	2000	VLDB
3	4,040	Temporal Conditions and Integrity Constraints in Active Database Systems	1995	SIGMOD
4	4,080	Specification and Verification of Data-driven Web Services	2004	PODS
5	2,258	On the Algebraic Specification of Databases	1982	VLDB
6	4,242	Specification, Semantics, and Enforcement of Dynamic Database Constraints	1984	VLDB
7	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
8	5,190	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD
9	906	A Temporal Framework for Database Specifications	1982	VLDB
10	6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD