Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism

Summary: Static analysis of termination, confluence, and observable determinism for arbitrary database production rules; isolates problematic rules and yields criteria to guarantee each property. Enables an interactive IDE for rule programmers in Starburst. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2568
Venue: SIGMOD
Year: 1992
Pagerank: 6.4351633e-05
Overall Rank: 4,121 | 71.34%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,028	Coordination Avoidance in Database Systems	2015	VLDB	0.00014584518
1,424	Managing Semantic Heterogeneity with Production Rules and Persistent Queues	1993	VLDB	0.00012054309
1,928	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.00010061483
4,736	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB	5.961234e-05
4,747	Semantics and Expressiveness Issues in Active Databases	1995	PODS	5.9545121e-05
5,182	Active Complex Event Processing over Event Streams	2011	VLDB	5.6410216e-05
5,277	NAOS: Efficient and modular reactive capabilities in an Object-Oriented Database System	1994	VLDB	5.5905507e-05
7,774	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	4.6543275e-05
9,729	Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems	2025	VLDB	4.2942813e-05
12,719	Unrolling Cycle to Decide Trigger Termination	1999	VLDB	4.1945683e-05
12,821	Database De-Centralization - A Practical Approach	1995	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
133	On Rules, Procedures, Caching And Views In Data Base Systems	1990	SIGMOD	0.00042757638
164	The Architecture Of An Active Data Base Management System*	1989	SIGMOD	0.00039519398
633	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD	0.00018905148
1,218	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00013226899
1,518	Implementing Set-Oriented Production Rules as an Extension to Starburst	1991	VLDB	0.00011566842
3,554	Ode as an Active Database: Constraints and Triggers	1991	VLDB	6.9772576e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
106	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.00048400734
5,624	Active Database Systems	1991	VLDB	5.4057264e-05
5,482	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4833354e-05
1,218	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00013226899
5,274	Managing Conflicts between Rules	1996	PODS	5.5908691e-05
9,538	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models	1989	PODS	4.3265281e-05
7,774	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	4.6543275e-05
633	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD	0.00018905148
4,736	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB	5.961234e-05
1,518	Implementing Set-Oriented Production Rules as an Extension to Starburst	1991	VLDB	0.00011566842