X2Rel: An XML Relation Language with Formal Semantics.
Tomasz JanowskiPublished in: 10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modeling language
- modelling language
- speech acts
- xml documents
- extensible markup language
- databases
- xml query languages
- logical reasoning
- first order logic
- data exchange
- markup language
- xml data
- er model
- xml keys
- data integration
- situation calculus
- natural language
- xml queries
- case study
- owl dl ontology
- relational database systems
- theorem prover
- data types
- object oriented
- relational databases
- metadata
- artificial intelligence
- machine learning