• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - No thumbnail

Witness Generation for JSON Schema

Attouche, Lyes; Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo; Scherzinger, Stefanie (2022), Witness Generation for JSON Schema, Proceedings of the VLDB Endowment, 15, 13, p. 4002-4014. 10.14778/3565838.3565852

Type
Article accepté pour publication ou publié
External document link
https://hal.science/hal-03946256
Date
2022
Journal name
Proceedings of the VLDB Endowment
Volume
15
Number
13
Publisher
ACM - Association for Computing Machinery
Pages
4002-4014
Publication identifier
10.14778/3565838.3565852
Metadata
Show full item record
Author(s)
Attouche, Lyes
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Baazizi, Mohamed-Amine
LIP6
Colazzo, Dario cc
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Ghelli, Giorgio
Dipartimento di Informatica [Pisa]
Sartiani, Carlo
Dipartimento di Matematica Informatica ed Economia [DiMIE]
Scherzinger, Stefanie cc
Fakultät für Mathematik und Informatik [Passau]
Abstract (EN)
JSON 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.
Subjects / Keywords
JSON

Related items

Showing items related by title and author.

  • Thumbnail
    Not Elimination and Witness Generation for JSON Schema (short version) 
    Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo; Scherzinger, Stefanie (2020) Communication / Conférence
  • Thumbnail
    Schemas And Types For JSON Data 
    Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo (2019) Communication / Conférence
  • Thumbnail
    Schemas and Types for JSON Data: From Theory to Practice 
    Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo (2019) Communication / Conférence
  • Thumbnail
    A Type System for Interactive JSON Schema Inference (Extended Abstract) 
    Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo (2019) Communication / Conférence
  • Thumbnail
    Parametric schema inference for massive JSON datasets 
    Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo (2019) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo