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