XML Transformation Language Based on Monadic Second Order Logic.

Kazuhiro Inaba Haruo Hosoya

Published in: PLAN-X (2007)

Keyphrases

xml documents
monadic second order logic
xml data
markup language
data exchange
expressive power
xml format

xml databases
xml retrieval
xml queries
data model
databases
data complexity
metadata

object oriented
relational databases
data integration
tree automata
database
integrity constraints
structured data

relational data
xml schema
multi agent systems
artificial intelligence
domain knowledge
hidden markov models
extensible markup language