Unrolling Cycle to Decide Trigger Termination
Summary: Cycle-unrolling on a trigger-graph to decide termination of active-database rules; detects finitely-executable cycles and removes them. Introduces finitely-updatable predicates to boost termination detection and presents an algorithm to decide termination for a given trigger system. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Sin Yeung LEE
- 2. Tok Wang LING
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 165 | The Architecture Of An Active Data Base Management System* | 1989 | SIGMOD | 0.00039577729 |
| 1,206 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013297347 |
| 4,122 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4292596e-05 |
| 4,732 | An Algebraic Approach to Rule Analysis in Expert Database Systems | 1994 | VLDB | 5.9556573e-05 |
| 5,640 | Rule Management in Object Oriented Databases: A Uniform Approach | 1991 | VLDB | 5.3969822e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 685 | Event Specification in an Active Object-Oriented Database | 1992 | SIGMOD | 0.00018133437 |
| 8,234 | Garbage Collection in Object Oriented Databases Using Transactional Cyclic Reference Counting | 1997 | VLDB | 4.5485428e-05 |
| 3,816 | Temporal Conditions and Integrity Constraints in Active Database Systems | 1995 | SIGMOD | 6.7297612e-05 |
| 1,889 | Promises and Realities of Active Database Systems | 1995 | VLDB | 0.00010192436 |
| 5,828 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.3109437e-05 |
| 3,367 | Functional Dependencies on Cyclic Database Schemes | 1983 | SIGMOD | 7.1665323e-05 |
| 2,049 | Compiling complex database transition triggers | 1989 | SIGMOD | 9.6888574e-05 |
| 4,030 | On the Recognition and Design of Acyclic Databases | 1984 | PODS | 6.5149364e-05 |
| 7,774 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 4.6498948e-05 |
| 5,858 | Eliminating Costly Redundant Computations from SQL Trigger Executions | 1997 | SIGMOD | 5.296947e-05 |