XML schema, tree logic and sheaves automata

DOI10.1007/3-540-44881-0_18MaRDI QIDQ4447237zbMATH OpenFDO

Authors Silvano Dal Zilio, D. Lugiez

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060246.htm

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Data structures (68P05) Formal languages and automata (68Q45)

Recommendations

• XML schema, tree logic and sheaves automata
• Foundations of XML processing. The tree-automata approach.
• Automata, logic, and XML
• On the minimization of XML schemas and tree automata for unranked trees
• Nested Sibling Tree Automata

Cited in

(29)

• Efficient inclusion checking for deterministic tree automata and XML schemas
• Multitree automata that count
• The DSD schema language
• Logics for unordered trees with data constraints
• Boolean operations and inclusion test for attribute-element constraints
• Complexity of modal logics with Presburger constraints
• Inferring a relax NG schema from XML documents
• Foundations of XML processing. The tree-automata approach.
• Languages Modulo Normalization
• The essence of XML (Preliminary version)
• Automata, logic, and XML
• Automata- and logic-based pattern languages for tree-structured data
• XML grammars
• Validating XML document adaptations via hedge automata transformations
• Automata-based static analysis of XML document adaptation
• Automata for unordered trees
• A rude contract language for web services
• Logics for Unranked Trees: An Overview
• Reasoning about XML with Temporal Logics and Automata
• Modeling the dance video semantics using regular tree automata
• Automata, Languages and Programming
• Regular Expressions with Counting: Weak versus Strong Determinism
• From tree automata to string automata minimization
• XML schema, tree logic and sheaves automata
• Automata for XML -- a survey
• On the minimization of XML schemas and tree automata for unranked trees
• Schemas for unordered XML on a DIME
• Streaming tree automata
• Reasoning about XML with temporal logics and automata

This page was built for publication: XML schema, tree logic and sheaves automata

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