Expressiveness within Sequence Datalog
Summary: Characterizes expressiveness of Sequence Datalog over sequences across six features (negation, recursion, intermediate predicates, higher arity, path-equations, packing). Proves redundancy/primitivity theorems classifying which features encode others versus which are primitive, yielding a complete taxonomy of Sequence Datalog fragments. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Heba Aamer
- 2. Jan Hidders
- 3. Jan Paredaens
- 4. Jan Van den Bussche
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,792 | Optimizing Time Series Queries with Versions | 2024 | SIGMOD | 4.2818172e-05 |
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 |
|---|---|---|---|---|
| 287 | Declarative Information Extraction Using Datalog with Embedded Extraction Predicates | 2007 | VLDB | 0.00028971272 |
| 734 | The TileDB Array Data Storage Manager | 2017 | VLDB | 0.00017455248 |
| 964 | G-CORE: A Core for Future Graph Query Languages | 2018 | SIGMOD | 0.0001497475 |
| 1,412 | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques | 1996 | SIGMOD | 0.00012122159 |
| 9,715 | J-Logic: Logical Foundations for JSON Querying | 2017 | PODS | 4.299267e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,907 | Convergence of Datalog over (Pre-) Semirings | 2022 | PODS | 7.933806e-05 |
| 7,956 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 4.613363e-05 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
| 5,992 | Evaluating Datalog over Semirings: A Grounding-based Approach | 2024 | PODS | 5.2415551e-05 |
| 6,236 | Inherent Complexity of Recursive Queries (Extended Abstract) | 1999 | PODS | 5.1436959e-05 |
| 9,280 | A Theory of Regular Queries | 2016 | PODS | 4.3636639e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 12,884 | Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations | 1992 | PODS | 4.1945683e-05 |
| 6,129 | Sequences, Datalog and Transducers | 1995 | PODS | 5.1974539e-05 |