8 citations · 9 across the 3 of their papers we have counts for
7 papers · 1 filter
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
Mohamed-Amine Baazizi, Nour El Houda Ben Ali, Dario Colazzo +4
JSON Schema is the de facto standard for describing the structure of JSON documents. Deciding JSON Schema inclusion - whether every instance of a schema is also an instance of…
Elimination of annotation dependencies in validation for Modern JSON Schema
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +4
JSON Schema is a logical language used to define the structure of JSON values. JSON Schema syntax is based on nested schema objects. In all versions of JSON Schema until Draft-07,…
Validation of Modern JSON Schema: Formalization and Complexity
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +3
JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language added two novel fea…
Negation-Closure for JSON Schema
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under…
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version)
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
In this paper, we study the usage of negation in JSON Schema data modeling. Negation is a logical operator that is rarely present in type systems and schema description languages,…
Not Elimination and Witness Generation for JSON Schema
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
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…