Not Elimination and Witness Generation for JSON Schema (short version) - Archive ouverte HAL Access content directly
Conference Papers Year :

Not Elimination and Witness Generation for JSON Schema (short version)

Mohamed-Amine Baazizi
Giorgio Ghelli
  • Function : Author
  • PersonId : 1004291
Carlo Sartiani
  • Function : Author
  • PersonId : 1095200
Stefanie Scherzinger


JSON Schema is an evolving standard for the description of families of JSON documents. JSON Schema is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertions. As for any logical language, problems like satisfaction, not-elimination, schema satisfiability, schema inclusion and equivalence, as well as witness generation, have both theoretical and practical interest. While satisfaction is trivial, all other problems are quite difficult, due to the combined presence of negation, recursion, and complex assertions in JSON Schema. To make things even more complex and interesting, JSON Schema is not algebraic, since we have both syntactic and semantic interactions between different keywords in the same schema object. With such motivations, we present in this paper an algebraic characterization of JSON Schema, obtained by adding opportune operators, and by mirroring existing ones. We present then algebrabased approaches for dealing with not-elimination and witness generation problems, which play a central role as they lead to solutions for the other mentioned complex problems.
Fichier principal
Vignette du fichier
witnessgen-bda2020-short.pdf (404.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03190106 , version 1 (06-04-2021)


  • HAL Id : hal-03190106 , version 1


Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger. Not Elimination and Witness Generation for JSON Schema (short version). 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications., Oct 2020, Paris, France. ⟨hal-03190106⟩
106 View
43 Download


Gmail Facebook Twitter LinkedIn More