Combination of transformation and schema languages described by a complete formal semantics.
Catherine PuginRolf IngoldPublished in: ACM Symposium on Document Engineering (2007)
Keyphrases
- formal semantics
- er model
- owl dl ontology
- formal language
- entity relationship
- logical language
- first order logic
- database design
- logical reasoning
- modelling language
- operational semantics
- expressive power
- database schema
- speech acts
- transformation rules
- object oriented
- data model
- machine learning
- theorem prover
- fuzzy ontology
- life cycle
- natural language