Weak inclusion for XML types

DOI10.1007/978-3-642-22256-6_4MaRDI QIDQ5200049zbMATH OpenOpenAlexFDO

Authors Joshua Amavi, Jacques Chabin, Mírian Halfeld Ferrari Alves, Pierre Réty

Publication date 29 July 2011

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22256-6_4

Mathematics Subject Classification ID

Internet topics (68M11) Database theory (68P15) Formal languages and automata (68Q45)

Recommendations

• Weak inclusion for recursive XML types
• Efficient inclusion for a class of XML types with interleaving and counting
• Almost-linear inclusion for XML regular expression types
• Efficient inclusion checking for deterministic tree automata and XML schemas
• Regular expression types for XML

Cites work

• Almost-linear inclusion for XML regular expression types
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Automata, Languages and Programming
• Characterization of Glushkov automata
• Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees
• Deciding Equivalence of Finite Tree Automata
• Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
• Efficient inclusion for a class of XML types with interleaving and counting
• scientific article; zbMATH DE number 1951144 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2004
• One-unambiguous regular languages
• Ordered and Unordered Tree Inclusion
• The passing of a rational expression to a nondeterministic finite automaton
• Weak inclusion for XML types

Cited in

(5)

• Weak inclusion for recursive XML types
• Almost-linear inclusion for XML regular expression types
• scientific article; zbMATH DE number 2080481 (Why is no real title available?)
• Weak inclusion for XML types
• Efficient inclusion for a class of XML types with interleaving and counting

Describes a project that uses

Uses Software

• LANGAGE

This page was built for publication: Weak inclusion for XML types

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