Show simple item record

Witness Generation for JSON Schema

hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorAttouche, Lyes
hal.structure.identifierLIP6
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
ORCID: 0000-0002-6031-0049
hal.structure.identifierDipartimento di Informatica [Pisa]
dc.contributor.authorGhelli, Giorgio
hal.structure.identifierDipartimento di Matematica Informatica ed Economia [DiMIE]
dc.contributor.authorSartiani, Carlo
hal.structure.identifierFakultät für Mathematik und Informatik [Passau]
dc.contributor.authorScherzinger, Stefanie
ORCID: 0000-0002-1960-6171
dc.date.accessioned2023-03-16T15:49:03Z
dc.date.available2023-03-16T15:49:03Z
dc.date.issued2022
dc.identifier.issn2150-8097
dc.identifier.urihttps://basepub.dauphine.psl.eu/handle/123456789/24564
dc.language.isoenen
dc.subjectJSONen
dc.subject.ddc005en
dc.titleWitness Generation for JSON Schemaen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenJSON 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.en
dc.relation.isversionofjnlnameProceedings of the VLDB Endowment
dc.relation.isversionofjnlvol15en
dc.relation.isversionofjnlissue13en
dc.relation.isversionofjnldate2022-09
dc.relation.isversionofjnlpages4002-4014en
dc.relation.isversionofdoi10.14778/3565838.3565852en
dc.identifier.urlsitehttps://hal.science/hal-03946256en
dc.relation.isversionofjnlpublisherACM - Association for Computing Machineryen
dc.subject.ddclabelProgrammation, logiciels, organisation des donnéesen
dc.relation.forthcomingnonen
dc.description.ssrncandidatenon
dc.description.halcandidatenonen
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewedouien
dc.date.updated2023-02-24T14:37:33Z
hal.export.arxivnonen
hal.export.pmcnonen
hal.hide.repecnonen
hal.hide.oainonen
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record