5 citations · 7 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DB2021★ 1 cited
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,…
cs.DB2021★ 5 cited
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…