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: 12910
Venue: VLDB
Year: 2022
Pagerank: 4.2422288e-05
Overall Rank: 9,938 | 30.94%
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,355	GIO: Generating Efficient Matrix and Frame Readers for Custom Data Formats by Example	2023	SIGMOD	4.3484264e-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,785	JSON: Data model, Query languages and Schema specification	2017	PODS	8.1227206e-05
5,603	Schemas and Types for JSON Data: from Theory to Practice	2019	SIGMOD	5.4140437e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,190	XML Schema Mappings	2009	PODS	4.5598146e-05
3,352	Schema Management for Document Stores	2015	VLDB	7.1838008e-05
11,250	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1905499e-05
9,749	ReCG: Bottom-Up JSON Schema Discovery Using a Repetitive Cluster-and-Generalize Framework	2024	VLDB	4.2856385e-05
9,714	J-Logic: Logical Foundations for JSON Querying	2017	PODS	4.2951473e-05
7,576	Reducing Ambiguity in Json Schema Discovery	2021	SIGMOD	4.7030704e-05
5,603	Schemas and Types for JSON Data: from Theory to Practice	2019	SIGMOD	5.4140437e-05
10,306	Streaming Validation of JSON Documents Against Schemas	2026	VLDB	4.1905499e-05
11,579	JSON Schema Matching: Empirical Observations	2020	SIGMOD	4.1905499e-05
2,785	JSON: Data model, Query languages and Schema specification	2017	PODS	8.1227206e-05