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: 2103
Venue: SIGMOD
Year: 1979
Pagerank: 7.2972741e-05
Overall Rank: 3,271 | 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,284	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.1118342e-05
2,713	Monitoring Database Objects	1989	VLDB	8.2469829e-05
5,745	Integrity Constraint Reformulation for Efficient Validation	1987	VLDB	5.3429366e-05
8,259	Using Versions in Update Transactions: Application to Integrity Checking	1997	VLDB	4.5424179e-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.00060388875
312	Efficient Monitoring of Database Assertions	1978	SIGMOD	0.00028102943

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,822	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB	4.1905499e-05
1,282	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001283587
9,082	The Role of Integrity Constraints in Database Interoperation	1996	VLDB	4.3952433e-05
4,643	Transactions And Integrity Constraints	1985	PODS	6.0213009e-05
12,889	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1905499e-05
13,021	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1905499e-05
5,291	Semantics Based Transaction Management Techniques for Replicated Data	1988	SIGMOD	5.5786983e-05
312	Efficient Monitoring of Database Assertions	1978	SIGMOD	0.00028102943
2,284	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.1118342e-05
4,607	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB	6.0488222e-05