Witness Generation for JSON Schema
Mohamed-Amine BAAZIZI
30 May 2022, 00h00 Salle/Bat : 455/PCRI-N
Contact :
Activités de recherche : Langages et systèmes centrés données
Résumé :
JSON Schema is becoming the standard language for describing JSON datasets.
It is an expressive language combining structural assertions with Boolean operators, and featuring negation and recursion.
Many interesting problems like schema satisfiability, inclusion, and equivalence are decidable and can reduced to the witness generation problem.
Despite the importance of this problem, no generation algorithm has yet been formally described.
I will introduce a first algorithm for JSON Schema witness generation that we defined, implemented, and experimented over several schema collections.
