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)

Paper ID: h02aabf3a026437ee
Venue: PODS
Year: 2017
Pagerank: 5.0925155e-05
Overall Rank: 10,036 | 32.53%
DOI: 10.1145/3034786.3056106

Incoming Non-self Citations Over Time

Authors

1. Jan Hidders (Vrije Universiteit Brussel)
2. Jan Paredaens (University of Antwerp)
3. Jan Van den Bussche (Hasselt University)

BibTeX Citation

@inproceedings{hidders_pods17,
        address = {New York, NY, USA},
        series = {{PODS} '17},
        title = {{J-Logic: Logical Foundations for JSON Querying}},
        url = {https://dl.acm.org/doi/10.1145/3034786.3056106},
        doi = {10.1145/3034786.3056106},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Hidders, Jan and Paredaens, Jan and Van den Bussche, Jan},
        year = {2017}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,895	Expressiveness within Sequence Datalog	2021	PODS	5.1129039e-05
11,760	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.9793485e-05

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,003	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012597028
3,541	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.2161746e-05
4,882	Value Invention in Data Exchange	2013	SIGMOD	6.3711076e-05
5,592	Datalog and Emerging Applications: An Interactive Tutorial	2011	SIGMOD	6.0736086e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,064	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report	2004	PODS
2	10,055	Containment of Conjunctive Object Meta-Queries	2006	VLDB
3	6,871	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB
4	1,660	On the Decidability of Query Containment under Constraints	1998	PODS
5	6,798	Complexity of Nonrecursive Logic Programs with Complex Values	1998	PODS
6	8,136	On the First-Order Expressibility of Recursive Queries	1989	PODS
7	11,760	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB
8	177	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS
9	10,313	Witness Generation for JSON Schema	2022	VLDB
10	3,354	JSON: Data model, Query languages and Schema specification	2017	PODS