J-Logic: Logical Foundations for JSON Querying
Summary: J-Logic: a Datalog-style logic for JSON emphasizing paths (key sequences) and packing (creating keys from paths); recursion yields computational completeness but many practical queries (e.g., deep equality) are expressible without recursion. Establishes metatheory: models JSON as deterministic partial functions, shows packing is unnecessary when outputs introduce no new keys, and proves decidability of object-preservation and query containment for positive nonrecursive programs. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Jan Hidders
- 2. Jan Paredaens
- 3. Jan Van den Bussche
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,593 | Expressiveness within Sequence Datalog | 2021 | PODS | 4.3161588e-05 |
| 11,250 | Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting | 2023 | VLDB | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |
| 3,320 | Data Functions, Datalog and Negation (Extended Abstract) | 1988 | SIGMOD | 7.2212998e-05 |
| 5,252 | Value Invention in Data Exchange | 2013 | SIGMOD | 5.6002884e-05 |
| 5,629 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD | 5.4018902e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,066 | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report | 2004 | PODS | 4.8389293e-05 |
| 9,740 | Containment of Conjunctive Object Meta-Queries | 2006 | VLDB | 4.2895392e-05 |
| 5,637 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.3978567e-05 |
| 6,795 | Complexity of Nonrecursive Logic Programs with Complex Values | 1998 | PODS | 4.9197522e-05 |
| 1,489 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011687823 |
| 7,594 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.6983854e-05 |
| 11,250 | Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting | 2023 | VLDB | 4.1905499e-05 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 9,938 | Witness Generation for JSON Schema | 2022 | VLDB | 4.2422288e-05 |
| 2,785 | JSON: Data model, Query languages and Schema specification | 2017 | PODS | 8.1227206e-05 |