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: 2164
Venue: SIGMOD
Year: 1979
Pagerank: 7.1563685e-05
Overall Rank: 3,745 | 74.31%
DOI: 10.1145/582095.582112

Incoming Non-self Citations Over Time

Authors

1. D. Z. Badal (University of California Los Angeles)
2. G. J. Popek (University of California Los Angeles; Xerox Corporation)

BibTeX Citation

@inproceedings{badal_sigmod79,
        title = {{Cost and Performance Analysis of Semantic Integrity Validation Methods}},
        author = {Badal, D. Z. and Popek, G. J.},
        series = {{SIGMOD} '79},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/582095.582112},
        url = {https://dl.acm.org/doi/10.1145/582095.582112},
        year = {1979}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB	8.366058e-05
2,975	Monitoring Database Objects	1989	VLDB	7.9077995e-05
6,142	Integrity Constraint Reformulation for Efficient Validation	1987	VLDB	5.9624769e-05
8,587	Using Versions in Update Transactions: Application to Integrity Checking	1997	VLDB	5.4069724e-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
81	Implementation of Integrity Constraints and Views by Query Modification	1975	SIGMOD	0.00036443459
541	Efficient Monitoring of Database Assertions	1978	SIGMOD	0.00016860824

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,007	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB
2	1,624	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD
3	9,247	The Role of Integrity Constraints in Database Interoperation	1996	VLDB
4	4,962	Transactions And Integrity Constraints	1985	PODS
5	13,073	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
6	13,209	A semantic approach to correctness of concurrent transaction executions	1985	PODS
7	5,934	Semantics Based Transaction Management Techniques for Replicated Data	1988	SIGMOD
8	541	Efficient Monitoring of Database Assertions	1978	SIGMOD
9	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB
10	4,818	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB