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,133 | View Maintenance Issues for the Chronicle Data Model (Extended Abstract) | 1995 | PODS | 8.9830012e-05 |
| 8,324 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 5.339324e-05 |
| 13,249 | Unrolling Cycle to Decide Trigger Termination | 1999 | VLDB | 4.9605343e-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 |
|---|---|---|---|---|
| 878 | Queries Independent of Updates | 1993 | VLDB | 0.0001326705 |
| 1,199 | Situation Monitoring for Active Databases | 1989 | VLDB | 0.00011533855 |
| 1,377 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00010857402 |
| 1,468 | Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms | 1988 | SIGMOD | 0.00010540751 |
| 2,065 | Rule Condition Testing and Action Execution in Ariel | 1992 | SIGMOD | 9.0763375e-05 |
| 3,908 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.913498e-05 |
| 5,871 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.9471111e-05 |
| 6,471 | Index Support for Rule Activation | 1993 | SIGMOD | 5.7564337e-05 |
| 8,533 | Set-Oriented Constructs: From Rete Rule Bases to Database Systems | 1991 | SIGMOD | 5.305476e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,866 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 2 | 197 | Grammar-like Functional Rules for Representing Query Optimization Alternatives | 1988 | SIGMOD |
| 3 | 4,376 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS |
| 4 | 6,914 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB |
| 5 | 2,326 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 6 | 6,483 | An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases | 1993 | VLDB |
| 7 | 3,908 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD |
| 8 | 6,599 | Managing Conflicts between Rules | 1996 | PODS |
| 9 | 8,418 | Data Management for Large Rule Systems | 1991 | VLDB |
| 10 | 739 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD |