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