A Formal and Unified Description of XML Manipulation Languages.
Jan HiddersJan ParedaensPublished in: Fundam. Informaticae (2016)
Keyphrases
- interchange format
- xml documents
- xml files
- xml data
- formal language
- language independent
- highly expressive
- databases
- formal representation
- xml schema
- markup language
- relational databases
- xml query languages
- machine processable
- database
- xml databases
- data exchange
- expressive power
- data types
- data model
- high level
- cross lingual
- formal model
- xml format
- type checking
- data integration
- knowledge representation languages
- xml queries
- keyword search
- formal methods
- specification languages
- query language