• Corpus ID: 233476500

Not Elimination and Witness Generation for JSON Schema

  title={Not Elimination and Witness Generation for JSON Schema},
  author={Mohamed Amine Baazizi and Dario Colazzo and Giorgio Ghelli and Carlo Sartiani and Stefanie Scherzinger},
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… 

Figures and Tables from this paper

Witness Generation for JSON Schema

A first, direct algorithm for JSON Schema witness generation is contributed, focusing on the completeness of the language and on the ability of the algorithm to run in reasonable time on a large set of real-world examples, despite the exponential complexity of the problem.

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas

The results of the empirical study of the first generation of tools for checking JSON Schema containment are presented, which apply to a diverse collection of over 230 realworld schemas and their altogether 1k historic versions.

Finding data compatibility bugs with JSON subschema checking

The approach reveals 43 previously unknown bugs in popular software, most of which have already been fixed, showing that JSON subschema checking helps finding data compatibility bugs early.

Josch: Managing Schemas for NoSQL Document Stores

Josch is presented, which integrates state-ofthe-art third-party tools to support novel workflows for NoSQL document stores and reveals current blind spots in NoSQL schema management tools that inspire novel research questions.

Pipeline Combinators for Gradual AutoML

This paper introduces a small set of orthogonal combinators for composing machine-learning operators into pipelines and describes a translation scheme from pipelines and associated hyperparameter schemas to search spaces for AutoML optimizers.

Automatically debugging AutoML pipelines using maro: ML automated remediation oracle

An approach for automatically debugging an ML pipeline, explaining the failures, and producing a remediation, which works seamlessly with the familiar data science ecosystem including Python, Jupyter notebooks, scikit-learn, and AutoML tools such as Hyperopt.

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings

It is argued that neither explainability nor certification suffice to tackle the trust problem, and an alternative approach aimed at showing the physician how well a patient is represented in the original training data set is proposed.

A Tool for JSON Schema Witness Generation

The goal is not only to allow programmers to design schemas that meet their intentions, but also to guide them in their journey to understanding the semantics of existing schemas, in an interactive fashion.



Type Safety with JSON Subschema

This paper presents a complementary technique: JSON subschema checking, which can be used for static type checking with JSON Schema, and applies an implementation of the algorithm to 8,548 pairs of real-world JSON schemas from different domains, demonstrating that it can decide the subscheMA question for most schema pairs and is always correct for schema pairs that it could decide.

JSON: Data model, Query languages and Schema specification

A formal data model for JSON documents is proposed and, based on the common features present in available systems using JSON, a lightweight query language is defined allowing us to navigate through JSON documents.

Jsongen: a quickcheck based library for testing JSON web services

A systematic approach to testing behavioural aspects of Web Services that communicate using the JSON data format by developing a finite state machine model for the testing of a JSON-based web service.

Extended Regular Expressions: Succinctness and Decidability

It is demonstrated that extended regular-expressions cannot be minimized effectively (neither with respect to length, nor number of variables), and that the tradeoff in size between extended and “classical” regular expressions is not bounded by any recursive function.

JSON Schema Validation: A Vocabulary for Structural Validation of JSON

This document specifies a vocabulary for JSON Schema to describe the meaning of JSON documents, provide hints for user interfaces working with JSON data, and to make assertions about what a valid document must look like.

Internet Engineering Task Force

An extremely efficient, elegant way to name arbitrary sized inter-meshed aggregations of multicast addresses in such a way that it is easy to calculate how to change the name to encompass many more related names.

Type safety with json subschema, 2019

  • 2019

Not elimination and witness generation for json schema

  • 2020

Json schema

  • 2020

Martín Ugarte, and Domagoj Vrgoč. Foundations of json schema

  • WWW '16
  • 2016