Validating streaming JSON documents with learned VPAs

DOI10.1007/978-3-031-30823-9_14MaRDI QIDQ6535358zbMATH OpenFDO

Authors Véronique Bruyère, G. A. Pérez, Gaëtan Staquet

Publication date 13 December 2023

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

visibly pushdown automataJSONstreaming validation

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27)

Recommendations

• Visibly Pushdown Transducers for Approximate Validation of Streaming XML
• Streaming tree automata
• Validating XML documents in the streaming model with external memory
• Evolving schemas for streaming XML
• Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states

Cites work

• Automata, Languages and Programming
• Counting in trees
• Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
• Learning realtime one-counter automata
• Learning register automata: from languages to program structures
• Learning regular sets from queries and counterexamples
• Reasoning about XML constraints based on XML-to-relational mappings
• Schemas for unordered XML on a DIME
• Visibly pushdown languages

Cited in

(1)

• Negation-closure for JSON schema

This page was built for publication: Validating streaming JSON documents with learned VPAs

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