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: 2087
Venue: SIGMOD
Year: 1978
Pagerank: 0.00028116403
Overall Rank: 311 | 97.84%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Michael Hammer
2. Sunil K. Sarin

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
55	Efficiently Updating Materialized Views	1986	SIGMOD	0.00065762967
929	Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates	1986	VLDB	0.00015241524
1,283	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001284615
2,075	Compiling complex database transition triggers	1989	SIGMOD	9.6076188e-05
3,268	Cost and Performance Analysis of Semantic Integrity Validation Methods	1979	SIGMOD	7.3015362e-05
3,837	Enforcing Inclusion Dependencies And Referential Integrity	1988	VLDB	6.7151735e-05
4,246	Design and Implementation of an Extendible Integrity Subsystem	1984	SIGMOD	6.3266512e-05
4,608	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB	6.0537877e-05
5,167	Supporting a Semantic Data Model in a Distributed Database System	1983	VLDB	5.6519652e-05
12,800	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD	4.1945683e-05
13,033	Specification and Verification of Abstract Database Types	1984	PODS	4.1945683e-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
5,482	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4833354e-05
12,109	Declarative Error Management for Robust Data-Intensive Applications	2012	SIGMOD	4.1945683e-05
1,578	Constraint Checking with Partial Information	1994	PODS	0.00011284233
12,800	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD	4.1945683e-05
6,621	We Challenge You to Certify Your Updates	2011	SIGMOD	4.9905794e-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
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
4,246	Design and Implementation of an Extendible Integrity Subsystem	1984	SIGMOD	6.3266512e-05
3,268	Cost and Performance Analysis of Semantic Integrity Validation Methods	1979	SIGMOD	7.3015362e-05
1,283	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001284615