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,412 | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques | 1996 | SIGMOD | 0.00012122159 |
| 1,919 | Cut and Paste | 1997 | PODS | 0.00010094755 |
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.00014893961 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |
| 2,233 | Pattern Matching by Rs-Operations: Towards a Unified Approach to Querying Sequenced Data (Extended Abstract) | 1992 | PODS | 9.2273074e-05 |
| 3,337 | SVP - a Model Capturing Sets, Streams, and Parallelism | 1992 | VLDB | 7.2045821e-05 |
| 4,285 | A Query Language for List-Based Complex Objects | 1994 | PODS | 6.2913523e-05 |
| 4,510 | Supporting Lists in a Data Model (A Timely Approach) | 1992 | VLDB | 6.1250352e-05 |
| 6,420 | Text Dominated Databases, Theory Practice and Experience | 1994 | PODS | 5.0689272e-05 |
| 6,452 | Reasoning about Strings in Databases | 1994 | PODS | 5.0575385e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,136 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4188795e-05 |
| 3,251 | On Probabilistic Fixpoint and Markov Chain Query Languages | 2010 | PODS | 7.3215694e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
| 13,048 | Attributed Grammars for Query Language Translations (Extended Abstract) | 1983 | PODS | 4.1945683e-05 |
| 12,884 | Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations | 1992 | PODS | 4.1945683e-05 |
| 9,280 | A Theory of Regular Queries | 2016 | PODS | 4.3636639e-05 |
| 2,907 | Convergence of Datalog over (Pre-) Semirings | 2022 | PODS | 7.933806e-05 |
| 9,593 | Expressiveness within Sequence Datalog | 2021 | PODS | 4.3202988e-05 |