1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…