Not Elimination and Witness Generation for JSON Schema

04/30/2021
by   Mohamed-Amine Baazizi, et al.
0

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 JSON value under analysis and on logical or structural combinators for these assertions. As for any logical language, problems like satisfaction, not-elimination, schema satisfiability, schema inclusion and equivalence, as well as witness generation, have both theoretical and practical interest. While satisfaction is trivial, all other problems are quite difficult, due to the combined presence of negation, recursion, and complex assertions in JSON Schema. To make things even more complex and interesting, JSON Schema is not algebraic, since we have both syntactic and semantic interactions between different keywords in the same schema object. With such motivations, we present in this paper an algebraic characterization of JSON Schema, obtained by adding opportune operators, and by mirroring existing ones. We present then algebra-based approaches for dealing with not-elimination and witness generation problems, which play a central role as they lead to solutions for the other mentioned complex problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2022

Negation-Closure for JSON Schema

JSON Schema is an evolving standard for describing families of JSON docu...
research
02/25/2022

Witness Generation for JSON Schema

JSON Schema is an important, evolving standard schema language for famil...
research
07/19/2023

Validation of Modern JSON Schema: Formalization and Complexity

JSON Schema is the de-facto standard schema language for JSON data. The ...
research
07/19/2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version)

In this paper, we study the usage of negation in JSON Schema data modeli...
research
07/02/2019

Rule Applicability on RDF Triplestore Schemas

Rule-based systems play a critical role in health and safety, where poli...
research
04/11/2023

Static Analysis of Graph Database Transformations

We investigate graph transformations, defined using Datalog-like rules b...
research
11/26/2014

A Fuzzy Syllogistic Reasoning Schema for Generalized Quantifiers

In this paper, a new approximate syllogistic reasoning schema is describ...

Please sign up or login with your details

Forgot password? Click here to reset