2 papers
cs.DB2026
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…
cs.DB2025
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,…