Show simple item record

dc.contributor.authorBaazizi, Mohamed-Amine
HAL ID: 13062
hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorColazzo, Dario
dc.contributor.authorGhelli, Giorgio
dc.contributor.authorSartiani, Carlo
dc.contributor.authorScherzinger, Stefanie
dc.date.accessioned2021-11-25T09:37:02Z
dc.date.available2021-11-25T09:37:02Z
dc.date.issued2020
dc.identifier.urihttps://basepub.dauphine.psl.eu/handle/123456789/22240
dc.language.isoenen
dc.subjectJSON Schemaen
dc.subjectnegationen
dc.subjectwitness generationen
dc.subject.ddc004en
dc.titleNot Elimination and Witness Generation for JSON Schema (short version)en
dc.typeCommunication / Conférence
dc.description.abstractenJSON 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.en
dc.subject.ddclabelInformatique généraleen
dc.relation.conftitle36ème Conférence sur la Gestion de Données – Principes, Technologies et Applicationsen
dc.relation.confdate2020-10
dc.relation.confcityParisen
dc.relation.confcountryFranceen
dc.relation.forthcomingnonen
dc.description.ssrncandidatenon
dc.description.halcandidatenonen
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewednonen
dc.date.updated2021-11-25T09:35:32Z
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record