Validating streaming JSON documents with learned VPAs
From MaRDI portal
Publication:6535358
DOI10.1007/978-3-031-30823-9_14zbMATH Open1543.68162MaRDI QIDQ6535358FDOQ6535358
Authors: Véronique Bruyère, G. A. Pérez, Gaëtan Staquet 
Publication date: 13 December 2023
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
Information storage and retrieval of data (68P20) Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27)
Cites Work
- Learning regular sets from queries and counterexamples
- Visibly pushdown languages
- Reasoning about XML constraints based on XML-to-relational mappings
- Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
- Learning register automata: from languages to program structures
- Automata, Languages and Programming
- Counting in trees
- Schemas for unordered XML on a DIME
- Learning realtime one-counter automata
Cited In (1)
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)
