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: 2569
Venue: SIGMOD
Year: 1992
Pagerank: 6.4292596e-05
Overall Rank: 4,122 | 71.36%
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,022	Coordination Avoidance in Database Systems	2015	VLDB	0.00014606725
1,429	Managing Semantic Heterogeneity with Production Rules and Persistent Queues	1993	VLDB	0.00012029869
1,931	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.0001005178
4,732	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB	5.9556573e-05
4,744	Semantics and Expressiveness Issues in Active Databases	1995	PODS	5.9487921e-05
5,172	Active Complex Event Processing over Event Streams	2011	VLDB	5.6414491e-05
5,281	NAOS: Efficient and modular reactive capabilities in an Object-Oriented Database System	1994	VLDB	5.5851818e-05
7,774	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	4.6498948e-05
9,728	Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems	2025	VLDB	4.2901665e-05
12,728	Unrolling Cycle to Decide Trigger Termination	1999	VLDB	4.1905499e-05
12,830	Database De-Centralization - A Practical Approach	1995	VLDB	4.1905499e-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
135	On Rules, Procedures, Caching And Views In Data Base Systems	1990	SIGMOD	0.0004273413
165	The Architecture Of An Active Data Base Management System*	1989	SIGMOD	0.00039577729
624	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD	0.00018971873
1,206	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00013297347
1,517	Implementing Set-Oriented Production Rules as an Extension to Starburst	1991	VLDB	0.00011554837
3,558	Ode as an Active Database: Constraints and Triggers	1991	VLDB	6.9709415e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
107	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.00048363446
5,635	Active Database Systems	1991	VLDB	5.3990821e-05
5,491	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4780618e-05
1,206	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00013297347
5,278	Managing Conflicts between Rules	1996	PODS	5.5857593e-05
9,539	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models	1989	PODS	4.3223802e-05
7,774	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	4.6498948e-05
624	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD	0.00018971873
4,732	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB	5.9556573e-05
1,517	Implementing Set-Oriented Production Rules as an Extension to Starburst	1991	VLDB	0.00011554837