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 (Politecnico di Torino; Stanford University)
- 2. Jennifer Widom (Stanford University)
BibTeX Citation
@article{baralis_vldb94,
title = {{An Algebraic Approach to Rule Analysis in Expert Database Systems}},
author = {Baralis, Elena and Widom, Jennifer},
journal = {PVLDB},
series = {{VLDB} '94},
pages = {475--486},
year = {1994}
}Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,115 | View Maintenance Issues for the Chronicle Data Model (Extended Abstract) | 1995 | PODS | 9.0155433e-05 |
| 8,303 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 5.359571e-05 |
| 13,202 | Unrolling Cycle to Decide Trigger Termination | 1999 | VLDB | 4.9793485e-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 |
|---|---|---|---|---|
| 875 | Queries Independent of Updates | 1993 | VLDB | 0.00013316445 |
| 1,195 | Situation Monitoring for Active Databases | 1989 | VLDB | 0.00011575763 |
| 1,372 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00010898439 |
| 1,464 | Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms | 1988 | SIGMOD | 0.00010580339 |
| 2,057 | Rule Condition Testing and Action Execution in Ariel | 1992 | SIGMOD | 9.1102693e-05 |
| 3,894 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.9395397e-05 |
| 5,856 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.9696592e-05 |
| 6,455 | Index Support for Rule Activation | 1993 | SIGMOD | 5.7782623e-05 |
| 8,512 | Set-Oriented Constructs: From Rete Rule Bases to Database Systems | 1991 | SIGMOD | 5.3255942e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,854 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 2 | 196 | Grammar-like Functional Rules for Representing Query Optimization Alternatives | 1988 | SIGMOD |
| 3 | 4,353 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS |
| 4 | 6,892 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB |
| 5 | 2,312 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 6 | 6,470 | An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases | 1993 | VLDB |
| 7 | 3,894 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD |
| 8 | 6,588 | Managing Conflicts between Rules | 1996 | PODS |
| 9 | 8,397 | Data Management for Large Rule Systems | 1991 | VLDB |
| 10 | 737 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD |