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,395 | View Maintenance Issues for the Chronicle Data Model (Extended Abstract) | 1995 | PODS | 0.00012216523 |
| 7,774 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 4.6498948e-05 |
| 12,728 | Unrolling Cycle to Decide Trigger Termination | 1999 | VLDB | 4.1905499e-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.0001519986 |
| 937 | Queries Independent of Updates | 1993 | VLDB | 0.00015194231 |
| 1,206 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013297347 |
| 1,326 | Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms | 1988 | SIGMOD | 0.00012571381 |
| 2,106 | Rule Condition Testing and Action Execution in Ariel | 1992 | SIGMOD | 9.5297652e-05 |
| 4,122 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4292596e-05 |
| 5,828 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.3109437e-05 |
| 6,389 | Index Support for Rule Activation | 1993 | SIGMOD | 5.079266e-05 |
| 7,910 | Set-Oriented Constructs: From Rete Rule Bases to Database Systems | 1991 | SIGMOD | 4.6143887e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,450 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 7.0803112e-05 |
| 220 | Grammar-like Functional Rules for Representing Query Optimization Alternatives | 1988 | SIGMOD | 0.00033312045 |
| 4,145 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS | 6.4076785e-05 |
| 6,695 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9550839e-05 |
| 1,132 | On The Algebraic Specification Of Databases | 1982 | VLDB | 0.00013765819 |
| 5,627 | An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases | 1993 | VLDB | 5.403244e-05 |
| 4,122 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4292596e-05 |
| 5,278 | Managing Conflicts between Rules | 1996 | PODS | 5.5857593e-05 |
| 7,802 | Data Management for Large Rule Systems | 1991 | VLDB | 4.6429128e-05 |
| 624 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD | 0.00018971873 |