Witness Generation for JSON Schema

Lyes Attouche (1, 2) , Mohamed-Amine Baazizi (3) , Dario Colazzo (1, 2) , Giorgio Ghelli (4) , Carlo Sartiani (5) , Stefanie Scherzinger (6)

1 Université Paris Dauphine-PSL
2 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
3 BD - Bases de Données
4 University of Pisa - Università di Pisa
5 UNIBAS - Università degli studi della Basilicata [Potenza]
6 Universität Passau [Passau]

JSON Schema is a schema language for JSON documents, based on a complex combination of structural operators, Boolean operators (negation included), and recursive variables. The static analysis of JSON Schema documents comprises practically relevant problems, including schema satisfiability, inclusion, and equivalence. These problems can be reduced to witness generation: given a schema, generate an element of the schema-if it exists-and report failure otherwise. Schema satisfiability, inclusion, and equivalence have been shown to be decidable. However, no witness generation algorithm has yet been formally described. We contribute a first, direct algorithm for JSON Schema witness generation, and study its effectiveness and efficiency in experiments over several schema collections, including thousands of real-world schemas.

Domaines: Base de données [cs.DB]

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, et al.. Witness Generation for JSON Schema. Proceedings of the VLDB Endowment (PVLDB), 2022, 15 (13), pp.4002-4014. ⟨10.14778/3565838.3565852⟩. ⟨hal-03946256⟩