Negation-closure for JSON schema

DOI10.1016/j.tcs.2023.113823OpenAlexW4324387363MaRDI QIDQ2697439

Stefanie Scherzinger, Carlo Sartiani, Dario Colazzo, Mohamed-Amine Baazizi, Giorgio Ghelli

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)

Uses Software

• dk.brics.automaton
• MongoDB
• BigQuery

Cites Work

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

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