Negation-closure for JSON schema

DOI10.1016/J.TCS.2023.113823MaRDI QIDQ2697439zbMATH OpenOpenAlexFDO

Authors Mohamed-Amine Baazizi, D. Colazzo, G. Ghelli, C. Sartiani, Stefanie Scherzinger

Publication date 12 April 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2202.13434

zbMATH Keywords

JSON schemanegation closureschema languages

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A type system for interactive JSON schema inference (extended abstract)
• Validating streaming JSON documents with learned VPAs
• Evolving schemas for streaming XML
• A calculus for schemas in Z
• Fixpoint semantics for recursive \textsc{shacl}

Cites work

• Results on the propositional \(\mu\)-calculus
• Succinctness of the Complement and Intersection of Regular Expressions

Cited in

(2)

• Learning realtime one-counter automata
• Elimination of annotation dependencies in validation for Modern JSON Schema

Describes a project that uses

Uses Software

• dk.brics.automaton
• MongoDB
• BigQuery

This page was built for publication: Negation-closure for JSON schema

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2697439)