A Temporal Framework for Database Specifications

Summary: Temporal framework for database specifications that separate static constraints from update-driven transitions. Two levels: D1 yields a stable, operation-agnostic description with temporal logic for transitions; D2 adds built-in update operations with properties to guide enforcement. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7751
Venue: VLDB
Year: 1982
Pagerank: 0.00013310115
Overall Rank: 906 | 93.79%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. J.M.V. de Castilho (Pontifical Catholic University of Rio de Janeiro)
2. M.A. Casanova (Pontifical Catholic University of Rio de Janeiro)
3. A.L. Furtado (Pontifical Catholic University of Rio de Janeiro)

BibTeX Citation

@article{castilho_vldb82,
        title = {{A Temporal Framework for Database Specifications}},
        author = {de Castilho, J.M.V. and Casanova, M.A. and Furtado, A.L.},
        journal = {PVLDB},
        series = {{VLDB} '82},
        pages = {280},
        year = {1982}
}

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,149	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB	6.8707895e-05
4,242	Specification, Semantics, and Enforcement of Dynamic Database Constraints	1984	VLDB	6.8089644e-05
4,793	Time Modeling in Office Information Systems	1985	SIGMOD	6.504062e-05
4,962	Transactions And Integrity Constraints	1985	PODS	6.4273819e-05
5,081	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.3710813e-05
5,190	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.3272286e-05
6,085	Dynamic Constraints And Database Evolution	1983	PODS	5.9820991e-05
6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.9465353e-05
6,836	Real-Time Integrity Constraints (extended abstract)	1992	PODS	5.7580859e-05
7,452	A Transaction Logic for Database Specification	1988	SIGMOD	5.6133619e-05
7,615	Deciding Properties of Transactional Schemas	1986	PODS	5.5811446e-05
9,905	On the Feasibility of Checking Temporal Integrity Constraints	1993	PODS	5.1972596e-05
9,910	Transactions in Relational Databases (Preliminary Report)	1984	VLDB	5.1972596e-05
11,952	Information and Data Management at PUC-Rio and UFMG	2018	VLDB	5.093636e-05
13,177	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS	5.093636e-05
13,185	Providing Time-Related Constraints for Conventional Database Systems	1987	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	709	Logical Modeling Of Temporal Data	1987	SIGMOD
2	6,085	Dynamic Constraints And Database Evolution	1983	PODS
3	2,258	On the Algebraic Specification of Databases	1982	VLDB
4	4,040	Temporal Conditions and Integrity Constraints in Active Database Systems	1995	SIGMOD
5	14,099	Temporal Integrity Constraints with Indeterminacy	2000	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	6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD
10	5,081	A Temporal Framework for Database Specification and Verification	1984	VLDB