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: 7560
Venue: VLDB
Year: 1982
Pagerank: 0.00016098772
Overall Rank: 836 | 94.19%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,741	Time Modeling in Office Information Systems	1985	SIGMOD	6.8014508e-05
4,091	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB	6.4569247e-05
4,150	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.4067883e-05
4,487	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1454721e-05
4,640	Transactions And Integrity Constraints	1985	PODS	6.0271345e-05
4,986	Specification, Semantics, And Enforcement Of Dynamic Database Constraints	1984	VLDB	5.7846051e-05
5,482	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4833354e-05
5,884	Dynamic Constraints And Database Evolution	1983	PODS	5.2881037e-05
6,148	Real-Time Integrity Constraints (extended abstract)	1992	PODS	5.1853945e-05
6,825	A Transaction Logic for Database Specification	1988	SIGMOD	4.9143895e-05
7,220	Deciding Properties of Transactional Schemas	1986	PODS	4.7976464e-05
9,537	On the Feasibility of Checking Temporal Integrity Constraints	1993	PODS	4.3265281e-05
9,542	Transactions in Relational Databases (Preliminary Report)	1984	VLDB	4.3265281e-05
11,746	Information and Data Management at PUC-Rio and UFMG	2018	VLDB	4.1945683e-05
12,979	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS	4.1945683e-05
12,987	Providing Time-Related Constraints For Conventional Database Systems.	1987	VLDB	4.1945683e-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	Pagerank
614	Logical Modeling Of Temporal Data	1987	SIGMOD	0.00019177247
5,884	Dynamic Constraints And Database Evolution	1983	PODS	5.2881037e-05
1,130	On The Algebraic Specification Of Databases	1982	VLDB	0.00013779273
3,813	Temporal Conditions and Integrity Constraints in Active Database Systems	1995	SIGMOD	6.735525e-05
13,898	Temporal Integrity Constraints with Indeterminacy	2000	VLDB	-
4,986	Specification, Semantics, And Enforcement Of Dynamic Database Constraints	1984	VLDB	5.7846051e-05
6,825	A Transaction Logic for Database Specification	1988	SIGMOD	4.9143895e-05
4,150	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.4067883e-05
5,482	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4833354e-05
4,487	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1454721e-05