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)

Paper ID: 8407
Venue: VLDB
Year: 1994
Pagerank: 6.3746118e-05
Overall Rank: 5,074 | 65.19%
DOI: -

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,080	View Maintenance Issues for the Chronicle Data Model (Extended Abstract)	1995	PODS	9.2052704e-05
8,128	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	5.4825743e-05
12,912	Unrolling Cycle to Decide Trigger Termination	1999	VLDB	5.093636e-05

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
853	Queries Independent of Updates	1993	VLDB	0.00013587101
1,184	Situation Monitoring for Active Databases	1989	VLDB	0.00011774699
1,329	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00011140837
1,428	Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms	1988	SIGMOD	0.00010811922
2,009	Rule Condition Testing and Action Execution in Ariel	1992	SIGMOD	9.3096289e-05
3,829	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism	1992	SIGMOD	7.088463e-05
5,762	Implementing High Level Active Rules on top of a Relational DBMS	1992	VLDB	6.0957273e-05
6,331	Index Support for Rule Activation	1993	SIGMOD	5.9108389e-05
8,344	Set-Oriented Constructs: From Rete Rule Bases to Database Systems	1991	SIGMOD	5.4477811e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,137	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD
2	192	Grammar-like Functional Rules for Representing Query Optimization Alternatives	1988	SIGMOD
3	4,263	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS
4	6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
5	2,258	On the Algebraic Specification of Databases	1982	VLDB
6	6,364	An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases	1993	VLDB
7	3,829	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism	1992	SIGMOD
8	6,455	Managing Conflicts between Rules	1996	PODS
9	8,226	Data Management for Large Rule Systems	1991	VLDB
10	716	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD