Decidability and Undecidability Results for the Termination Problem of Active Database Rules
Summary: Delimits decidability boundary for termination of active DB rules by analyzing two restricted families: one-literal (single-atom updates) and unary (only unary updates, higher-arity via views). Identifies tight (un)decidable members and contrasts trigger dynamics with while queries and Datalog negation. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,027 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 7.9010315e-05 |
| 3,393 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS | 7.5208389e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,645 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.3791067e-05 |
| 3,770 | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism | 1992 | SIGMOD | 7.1910186e-05 |
| 4,895 | An Algebraic Approach to Rule Analysis in Expert Database Systems | 1994 | VLDB | 6.5210083e-05 |
| 5,220 | Semantics and Expressiveness Issues in Active Databases | 1995 | PODS | 6.3812324e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,643 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 5.8732351e-05 |
| 6,196 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 6.0187322e-05 |
| 6,915 | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report | 2004 | PODS | 5.8109026e-05 |
| 4,285 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.8535952e-05 |
| 1,614 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00010289905 |
| 7,878 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 5.5945192e-05 |
| 4,543 | Tools for Datalog Boundedness | 1991 | PODS | 6.7073012e-05 |
| 12,791 | Static Analysis of Intensional Databases in U-Datalog | 1996 | PODS | 5.1725247e-05 |
| 5,670 | Implementing High Level Active Rules on top of a Relational DBMS | 1992 | VLDB | 6.1925634e-05 |
| 4,220 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.8873697e-05 |