An Algebraic Approach to Rule Analysis in Expert Database Systems
Summary: Algebraic static analysis of Condition-Action rules in expert DB systems; verifies termination and confluence. A propagation algorithm with an extended relational algebra captures cross-rule effects, enabling less conservative, broader analysis. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Elena Baralis
- 2. Jennifer Widom
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,393 | View Maintenance Issues for the Chronicle Data Model (Extended Abstract) | 1995 | PODS | 0.00012223764 |
| 7,774 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 4.6543275e-05 |
| 12,719 | Unrolling Cycle to Decide Trigger Termination | 1999 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 9 of 9 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 935 | Situation Monitoring for Active Databases | 1989 | VLDB | 0.00015215924 |
| 938 | Queries Independent of Updates | 1993 | VLDB | 0.00015197786 |
| 1,218 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013226899 |
| 1,339 | Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms | 1988 | SIGMOD | 0.00012492597 |
| 2,102 | Rule Condition Testing and Action Execution in Ariel | 1992 | SIGMOD | 9.5388158e-05 |
| 4,121 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4351633e-05 |
| 5,816 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.3161831e-05 |
| 6,392 | Index Support for Rule Activation | 1993 | SIGMOD | 5.0841639e-05 |
| 7,910 | Set-Oriented Constructs: From Rete Rule Bases to Database Systems | 1991 | SIGMOD | 4.6188365e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,554 | Rule-Based Translation of Relational Queries into Iterative Programs | 1986 | SIGMOD | 5.0155947e-05 |
| 219 | Grammar-like Functional Rules for Representing Query Optimization Alternatives | 1988 | SIGMOD | 0.00033244259 |
| 4,141 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS | 6.4141369e-05 |
| 6,693 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9598818e-05 |
| 1,130 | On The Algebraic Specification Of Databases | 1982 | VLDB | 0.00013779273 |
| 5,617 | An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases | 1993 | VLDB | 5.4082352e-05 |
| 4,121 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4351633e-05 |
| 5,274 | Managing Conflicts between Rules | 1996 | PODS | 5.5908691e-05 |
| 7,800 | Data Management for Large Rule Systems | 1991 | VLDB | 4.6474123e-05 |
| 633 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD | 0.00018905148 |