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 |
|---|---|---|---|---|
| 164 | The Architecture Of An Active Data Base Management System* | 1989 | SIGMOD | 0.00039519398 |
| 1,218 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013226899 |
| 4,121 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 6.4351633e-05 |
| 4,736 | An Algebraic Approach to Rule Analysis in Expert Database Systems | 1994 | VLDB | 5.961234e-05 |
| 5,630 | Rule Management in Object Oriented Databases: A Uniform Approach | 1991 | VLDB | 5.4021694e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 687 | Event Specification in an Active Object-Oriented Database | 1992 | SIGMOD | 0.0001815095 |
| 8,239 | Garbage Collection in Object Oriented Databases Using Transactional Cyclic Reference Counting | 1997 | VLDB | 4.5522758e-05 |
| 3,813 | Temporal Conditions and Integrity Constraints in Active Database Systems | 1995 | SIGMOD | 6.735525e-05 |
| 1,890 | Promises and Realities of Active Database Systems | 1995 | VLDB | 0.00010199924 |
| 5,816 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 5.3161831e-05 |
| 3,361 | Functional Dependencies on Cyclic Database Schemes | 1983 | SIGMOD | 7.1735665e-05 |
| 2,075 | Compiling complex database transition triggers | 1989 | SIGMOD | 9.6076188e-05 |
| 4,025 | On the Recognition and Design of Acyclic Databases | 1984 | PODS | 6.5212056e-05 |
| 7,774 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS | 4.6543275e-05 |
| 5,849 | Eliminating Costly Redundant Computations from SQL Trigger Executions | 1997 | SIGMOD | 5.3018732e-05 |