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,795 | Optimizing Time Series Queries with Versions | 2024 | SIGMOD | 4.2777144e-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 |
|---|---|---|---|---|
| 289 | Declarative Information Extraction Using Datalog with Embedded Extraction Predicates | 2007 | VLDB | 0.00028865317 |
| 731 | The TileDB Array Data Storage Manager | 2017 | VLDB | 0.0001743996 |
| 964 | G-CORE: A Core for Future Graph Query Languages | 2018 | SIGMOD | 0.00014967208 |
| 1,413 | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques | 1996 | SIGMOD | 0.00012110416 |
| 9,714 | J-Logic: Logical Foundations for JSON Querying | 2017 | PODS | 4.2951473e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 14,182 | The Complexity of Reusing and Modifying Rulebases | 1992 | PODS | - |
| 7,959 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 4.6089395e-05 |
| 4,494 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1363251e-05 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
| 5,996 | Evaluating Datalog over Semirings: A Grounding-based Approach | 2024 | PODS | 5.2365238e-05 |
| 6,234 | Inherent Complexity of Recursive Queries (Extended Abstract) | 1999 | PODS | 5.1387584e-05 |
| 9,285 | A Theory of Regular Queries | 2016 | PODS | 4.3594818e-05 |
| 7,594 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.6983854e-05 |
| 12,894 | Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations | 1992 | PODS | 4.1905499e-05 |
| 6,132 | Sequences, Datalog and Transducers | 1995 | PODS | 5.192386e-05 |