5 citations · 7 across the 8 of their papers we have counts for
8 papers
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…
Witness Generation for JSON Schema
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +3
JSON Schema is an important, evolving standard schema language for families of JSON documents. It is based on a complex combination of structural and Boolean assertions, and featur…
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…
Typing Regular Path Query Languages for Data Graphs
Dario Colazzo, Carlo Sartiani
Regular path query languages for data graphs are essentially \emph{untyped}. The lack of type information greatly limits the optimization opportunities for query engines and makes…