Sequences, Datalog and Transducers
Summary: Sequence Datalog extends Datalog with interpreted sequence-manipulation and an extended active domain (all sequences and subsequences) to separate safe from unsafe recursion and ensure finiteness. Unsafe recursion is confined to generalized sequence transducers (transducers-as-subroutines), yielding simple syntactic conditions that exactly capture PTIME and the class of elementary sequence functions. (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 |
|---|---|---|---|---|
| 1,413 | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques | 1996 | SIGMOD | 0.00012110416 |
| 1,922 | Cut and Paste | 1997 | PODS | 0.00010084845 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 975 | Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance | 1991 | SIGMOD | 0.00014879359 |
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |
| 2,237 | Pattern Matching by Rs-Operations: Towards a Unified Approach to Querying Sequenced Data (Extended Abstract) | 1992 | PODS | 9.2181378e-05 |
| 3,342 | SVP - a Model Capturing Sets, Streams, and Parallelism | 1992 | VLDB | 7.1976989e-05 |
| 4,278 | A Query Language for List-Based Complex Objects | 1994 | PODS | 6.285241e-05 |
| 4,511 | Supporting Lists in a Data Model (A Timely Approach) | 1992 | VLDB | 6.1191128e-05 |
| 6,417 | Text Dominated Databases, Theory Practice and Experience | 1994 | PODS | 5.0640236e-05 |
| 6,449 | Reasoning about Strings in Databases | 1994 | PODS | 5.0526628e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,138 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4127061e-05 |
| 3,256 | On Probabilistic Fixpoint and Markov Chain Query Languages | 2010 | PODS | 7.3135363e-05 |
| 7,594 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.6983854e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 4,494 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1363251e-05 |
| 13,059 | Attributed Grammars for Query Language Translations (Extended Abstract) | 1983 | PODS | 4.1905499e-05 |
| 12,894 | Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations | 1992 | PODS | 4.1905499e-05 |
| 9,285 | A Theory of Regular Queries | 2016 | PODS | 4.3594818e-05 |
| 2,912 | Convergence of Datalog over (Pre-) Semirings | 2022 | PODS | 7.9261665e-05 |
| 9,593 | Expressiveness within Sequence Datalog | 2021 | PODS | 4.3161588e-05 |