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.3202988e-05 |
| 11,248 | Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting | 2023 | VLDB | 4.1945683e-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,018 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014627963 |
| 3,317 | Data Functions, Datalog and Negation (Extended Abstract) | 1988 | SIGMOD | 7.2283048e-05 |
| 5,249 | Value Invention in Data Exchange | 2013 | SIGMOD | 5.6054145e-05 |
| 5,620 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD | 5.407079e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,070 | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report | 2004 | PODS | 4.843579e-05 |
| 9,741 | Containment of Conjunctive Object Meta-Queries | 2006 | VLDB | 4.2936538e-05 |
| 5,628 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.4030815e-05 |
| 6,794 | Complexity of Nonrecursive Logic Programs with Complex Values | 1998 | PODS | 4.9244886e-05 |
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 11,248 | Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting | 2023 | VLDB | 4.1945683e-05 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 9,939 | Witness Generation for JSON Schema | 2022 | VLDB | 4.2462227e-05 |
| 2,781 | JSON: Data model, Query languages and Schema specification | 2017 | PODS | 8.1305074e-05 |