Dynamic Tree Isomorphism via First-order Updates to a Relational Database
Summary: Demonstrates that tree isomorphism can be maintained under updates using first-order (Dyn-FO) update rules over a relational database. Gives the first explicit graph problem in Dyn-FO not definable in FO+TC+COUNT, builds maintainable arithmetic and links Dyn-FO to dynamic constant-parallel time. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
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 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 55 | Efficiently Updating Materialized Views | 1986 | SIGMOD | 0.00065762967 |
| 95 | Maintaining Views Incrementally | 1993 | SIGMOD | 0.00050896659 |
| 481 | Incremental Maintenance of Views with Duplicates | 1995 | SIGMOD | 0.00022167223 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,997 | Tractable Lineages on Treelike Instances: Limits and Extensions | 2016 | PODS | 4.8676446e-05 |
| 7,584 | Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data | 2012 | VLDB | 4.7041255e-05 |
| 581 | The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) | 1992 | PODS | 0.00019767772 |
| 7,984 | The Equivalence of Solving Queries and Producing Tree Projections (Extended Abstract) | 1986 | PODS | 4.613363e-05 |
| 772 | Answering Conjunctive Queries under Updates | 2017 | PODS | 0.00016876498 |
| 13,395 | Enumerating Answers to First-Order Queries over Databases of Low Degree | 2014 | PODS | - |
| 915 | The Complexity of Evaluating Relational Queries | 1983 | PODS | 0.0001538509 |
| 3,781 | Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries | 2020 | PODS | 6.7723513e-05 |
| 8,437 | Insert-Only versus Insert-Delete in Dynamic Query Evaluation | 2024 | PODS | 4.5138778e-05 |
| 4,632 | Dyn-FO: A Parallel, Dynamic Complexity Class (Preliminary Version) | 1994 | PODS | 6.0342363e-05 |