Not Elimination and Witness Generation for JSON Schema (short version) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Mohamed-Amine Baazizi
Giorgio Ghelli
  • Fonction : Auteur
  • PersonId : 1004291
Carlo Sartiani
  • Fonction : Auteur
  • PersonId : 1095200
Stefanie Scherzinger

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03190106 , version 1

Citer

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⟩
110 Consultations
55 Téléchargements

Partager

Gmail Facebook X LinkedIn More