Witness Generation for JSON Schema

Summary: First direct algorithm for JSON Schema witness generation, extracting a concrete witness when satisfiable; reduces satisfiability, inclusion, and equivalence to witness synthesis. Empirical evaluation on real-world schemas shows practicality and efficiency. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 12909
Venue: VLDB
Year: 2022
Pagerank: 4.2462227e-05
Overall Rank: 9,939 | 30.86%
DOI: 10.14778/3565838.3565852

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,379	GIO: Generating Efficient Matrix and Frame Readers for Custom Data Formats by Example	2023	SIGMOD	4.3462787e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
2,781	JSON: Data model, Query languages and Schema specification	2017	PODS	8.1305074e-05
5,595	Schemas and Types for JSON Data: from Theory to Practice	2019	SIGMOD	5.4191724e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,190	XML Schema Mappings	2009	PODS	4.5641911e-05
3,349	Schema Management for Document Stores	2015	VLDB	7.1903648e-05
11,248	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1945683e-05
9,750	ReCG: Bottom-Up JSON Schema Discovery Using a Repetitive Cluster-and-Generalize Framework	2024	VLDB	4.2897489e-05
9,715	J-Logic: Logical Foundations for JSON Querying	2017	PODS	4.299267e-05
7,571	Reducing Ambiguity in Json Schema Discovery	2021	SIGMOD	4.7075853e-05
5,595	Schemas and Types for JSON Data: from Theory to Practice	2019	SIGMOD	5.4191724e-05
10,294	Streaming Validation of JSON Documents Against Schemas	2026	VLDB	4.1945683e-05
11,575	JSON Schema Matching: Empirical Observations	2020	SIGMOD	4.1945683e-05
2,781	JSON: Data model, Query languages and Schema specification	2017	PODS	8.1305074e-05