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: 1717
Venue: PODS
Year: 2017
Pagerank: 5.2094004e-05
Overall Rank: 9,851 | 32.42%
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,725	Expressiveness within Sequence Datalog	2021	PODS	5.2302568e-05
11,448	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	5.093636e-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
971	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012875736
3,476	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.3807586e-05
4,768	Value Invention in Data Exchange	2013	SIGMOD	6.5171839e-05
5,473	Datalog and Emerging Applications: An Interactive Tutorial	2011	SIGMOD	6.2055397e-05

Semantically Similar Papers

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