English
Related papers

Related papers: Validation of Modern JSON Schema: Formalization an…

200 papers

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, collectively known as Classical JSON Schema, the semantics…

JSON Schema is the de facto standard for describing the structure of JSON documents. Reasoning about JSON Schema inclusion -- whether every instance satisfying a schema S1 also satisfies a schema S2 -- is a key building block for a variety…

JSON Schemas provide useful guardrails for developers of Web APIs to guarantee that the semi-structured JSON input provided by clients matches a predefined structure. This is important both to ensure the correctness of the data received as…

Databases · Computer Science 2025-03-12 Juan Cruz Viotti , Michael J. Mior

JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the structure of valid JSON data. There are validators that can…

Programming Languages · Computer Science 2020-05-19 Andrew Habib , Avraham Shinnar , Martin Hirzel , Michael Pradel

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…

Databases · Computer Science 2021-05-10 Mohamed-Amine Baazizi , Dario Colazzo , Giorgio Ghelli , Carlo Sartiani , Stefanie Scherzinger

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 features negation and recursion. The static analysis of JSON…

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 analysis and on logical or structural combinators for these…

Databases · Computer Science 2022-03-01 Mohamed-Amine Baazizi , Dario Colazzo , Giorgio Ghelli , Carlo Sartiani , Stefanie Scherzinger

JSON (JavaScript Object Notation) is a data encoding that allows structured data to be used in a standardized and straightforward manner across systems. Schemas for JSON-formatted data can be constructed using the JSON Schema standard,…

Programming Languages · Computer Science 2025-08-13 Jack Stanek , Daniel Killough

Semi-structured data formats such as JSON have proved to be useful data models for applications that require flexibility in the format of data stored. However, JSON data often come without the schemas that are typically available with…

Databases · Computer Science 2024-07-04 Michael J. Mior

We present a new streaming algorithm to validate JSON documents against a set of constraints given as a JSON schema. Among the possible values a JSON document can hold, objects are unordered collections of key-value pairs while arrays are…

Formal Languages and Automata Theory · Computer Science 2023-05-15 Véronique Bruyère , Guillermo A. Perez , Gaëtan Staquet

Despite the fact that JSON is currently one of the most popular formats for exchanging data on the Web, there are very few studies on this topic and there are no agreement upon theoretical framework for dealing with JSON. There- fore in…

Databases · Computer Science 2017-01-10 Pierre Bourhis , Juan L. Reutter , Fernando Suárez , Domagoj Vrgoč

Structured information extraction from unstructured text is critical for emerging Software 3.0 systems where LLM agents autonomously interact with APIs and tools. Recent approaches apply large language models directly to extraction tasks…

Computation and Language · Computer Science 2025-10-13 Anubhav Shrimal , Aryan Jain , Soumyajit Chowdhury , Promod Yenigalla

This study investigates the structured generation capabilities of large language models (LLMs), focusing on producing valid JSON outputs against a given schema. Despite the widespread use of JSON in integrating language models with…

Computation and Language · Computer Science 2025-03-07 Yaxi Lu , Haolun Li , Xin Cong , Zhong Zhang , Yesai Wu , Yankai Lin , Zhiyuan Liu , Fangming Liu , Maosong Sun

Since its unveiling in 2011, schema.org has become the de facto standard for publishing semantically described structured data on the web, typically in the form of web page annotations. The increasing adoption of schema.org facilitates the…

Information Retrieval · Computer Science 2017-09-18 Umutcan Şimşek , Elias Kärle , Omar Holzknecht , Dieter Fensel

A naive realization of JSON data in R maps JSON arrays to an unnamed list, and JSON objects to a named list. However, in practice a list is an awkward, inefficient type to store and manipulate data. Most statistical applications work with…

Computation · Statistics 2014-03-13 Jeroen Ooms

Schema evolution is critical in managing database systems to ensure compatibility across different data versions. A schema registry typically addresses the challenges of schema evolution in real-time data streaming by managing, validating,…

Databases · Computer Science 2024-06-18 Silvery D. Fu , Xuewei Chen

jq is a widely used tool that provides a programming language to manipulate JSON data. However, the jq language is currently only specified by its implementation, making it difficult to reason about its behaviour. To this end, we provide a…

Logic in Computer Science · Computer Science 2024-04-01 Michael Färber

While learning models are typically studied for inputs in the form of a fixed dimensional feature vector, real world data is rarely found in this form. In order to meet the basic requirement of traditional learning models, structural data…

Machine Learning · Computer Science 2020-02-14 William Woof , Ke Chen

Schema discovery is an important aspect to working with data in formats such as JSON. Unlike relational databases, JSON data sets often do not have associated structural information. Consumers of such datasets are often left to browse…

Databases · Computer Science 2023-07-07 Michael J. Mior

Reliably generating structured outputs has become a critical capability for modern language model (LM) applications. Constrained decoding has emerged as the dominant technology across sectors for enforcing structured outputs during…

Computation and Language · Computer Science 2025-02-28 Saibo Geng , Hudson Cooper , Michał Moskal , Samuel Jenkins , Julian Berman , Nathan Ranchin , Robert West , Eric Horvitz , Harsha Nori
‹ Prev 1 2 3 10 Next ›