Efficient Monitoring of Database Assertions

Summary: Compile-time assertion processor synthesizes update-type tests via perturbation analysis, testing only affected conditions. Transaction processor selects least-cost monitoring, delivering declarative semantic assertions with near hand-coded performance. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2149
Venue: SIGMOD
Year: 1978
Pagerank: 0.00016860824
Overall Rank: 541 | 96.30%
DOI: 10.1145/509252.509290

Incoming Non-self Citations Over Time

Authors

1. Michael Hammer (Massachusetts Institute of Technology)
2. Sunil K. Sarin (Massachusetts Institute of Technology)

BibTeX Citation

@inproceedings{hammer_sigmod78,
        title = {{Efficient Monitoring of Database Assertions}},
        author = {Hammer, Michael and Sarin, Sunil K.},
        series = {{SIGMOD} '78},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/509252.509290},
        url = {https://dl.acm.org/doi/10.1145/509252.509290},
        year = {1978}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
39	Efficiently Updating Materialized Views	1986	SIGMOD	0.00047309646
1,361	Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates	1986	VLDB	0.00011037801
1,624	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.00010194403
2,277	Compiling complex database transition triggers	1989	SIGMOD	8.817902e-05
3,745	Cost and Performance Analysis of Semantic Integrity Validation Methods	1979	SIGMOD	7.1563685e-05
3,887	Enforcing Inclusion Dependencies and Referential Integrity	1988	VLDB	7.0455552e-05
4,744	Design and Implementation of an Extendible Integrity Subsystem	1984	SIGMOD	6.526568e-05
4,818	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB	6.494062e-05
5,790	Supporting a Semantic Data Model in a Distributed Database System	1983	VLDB	6.0873621e-05
12,994	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD	5.093636e-05
13,232	Specification and Verification of Abstract Database Types	1984	PODS	5.093636e-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
1	6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD
2	12,306	Declarative Error Management for Robust Data-Intensive Applications	2012	SIGMOD
3	1,489	Constraint Checking with Partial Information	1994	PODS
4	12,994	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD
5	7,073	We Challenge You to Certify Your Updates	2011	SIGMOD
6	13,073	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
7	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB
8	4,744	Design and Implementation of an Extendible Integrity Subsystem	1984	SIGMOD
9	3,745	Cost and Performance Analysis of Semantic Integrity Validation Methods	1979	SIGMOD
10	1,624	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD