A Simple but Formal Semantics for XML Manipulation Languages.

Jan Paredaens Jan Hidders

Published in: FoIKS (2010)

Keyphrases

formal semantics
er model
formal language
databases
modelling language
xml documents
first order logic
relational databases
logical language
modeling language
data integration
relational database systems
expressive power
data storage
black box
operational semantics
xml schema
data sources