Cost and Performance Analysis of Semantic Integrity Validation Methods

Summary: Cost-performance analysis of semantic integrity validation methods for transactional workloads. Compares compile-time, run-time, post-execution, and mixed validation across two designs: assertion-arguments stored in slow secondary memory vs partitioned data in fast-access form. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2102
Venue: SIGMOD
Year: 1979
Pagerank: 7.3015362e-05
Overall Rank: 3,268 | 77.27%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. D. Z. Badal
2. G. J. Popek

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
2,707	Monitoring Database Objects	1989	VLDB	8.254766e-05
5,745	Integrity Constraint Reformulation for Efficient Validation	1987	VLDB	5.3440873e-05
8,264	Using Versions in Update Transactions: Application to Integrity Checking	1997	VLDB	4.5464184e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
69	Implementation of Integrity Constraints and Views by Query Modification	1975	SIGMOD	0.00060379399
311	Efficient Monitoring of Database Assertions	1978	SIGMOD	0.00028116403

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,813	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB	4.1945683e-05
1,283	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001284615
9,085	The Role of Integrity Constraints in Database Interoperation	1996	VLDB	4.3994589e-05
4,640	Transactions And Integrity Constraints	1985	PODS	6.0271345e-05
12,879	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1945683e-05
13,010	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1945683e-05
5,287	Semantics Based Transaction Management Techniques for Replicated Data	1988	SIGMOD	5.5837564e-05
311	Efficient Monitoring of Database Assertions	1978	SIGMOD	0.00028116403
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
4,608	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB	6.0537877e-05