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: 7561
Venue: VLDB
Year: 1982
Pagerank: 0.00016083127
Overall Rank: 834 | 94.21%
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,743	Time Modeling in Office Information Systems	1985	SIGMOD	6.7947442e-05
4,095	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB	6.4507116e-05
4,153	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.4006108e-05
4,489	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1395366e-05
4,643	Transactions And Integrity Constraints	1985	PODS	6.0213009e-05
4,985	Specification, Semantics, And Enforcement Of Dynamic Database Constraints	1984	VLDB	5.7790376e-05
5,491	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4780618e-05
5,890	Dynamic Constraints And Database Evolution	1983	PODS	5.2830191e-05
6,150	Real-Time Integrity Constraints (extended abstract)	1992	PODS	5.1805777e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
7,219	Deciding Properties of Transactional Schemas	1986	PODS	4.7930382e-05
9,538	On the Feasibility of Checking Temporal Integrity Constraints	1993	PODS	4.3223802e-05
9,543	Transactions in Relational Databases (Preliminary Report)	1984	VLDB	4.3223802e-05
11,754	Information and Data Management at PUC-Rio and UFMG	2018	VLDB	4.1905499e-05
12,990	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS	4.1905499e-05
12,998	Providing Time-Related Constraints For Conventional Database Systems.	1987	VLDB	4.1905499e-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
611	Logical Modeling Of Temporal Data	1987	SIGMOD	0.00019161022
5,890	Dynamic Constraints And Database Evolution	1983	PODS	5.2830191e-05
1,132	On The Algebraic Specification Of Databases	1982	VLDB	0.00013765819
3,816	Temporal Conditions and Integrity Constraints in Active Database Systems	1995	SIGMOD	6.7297612e-05
13,912	Temporal Integrity Constraints with Indeterminacy	2000	VLDB	-
4,985	Specification, Semantics, And Enforcement Of Dynamic Database Constraints	1984	VLDB	5.7790376e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
4,153	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.4006108e-05
5,491	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4780618e-05
4,489	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1395366e-05