Formal Semantics for Ward & Mellor's Transformation Schemas.
Carsta PetersohnWillem-Paul de RoeverCornelis HuizingJan PeleskaPublished in: Refine (1994)
Keyphrases
- formal semantics
- logical reasoning
- er model
- operational semantics
- logical language
- formal language
- data integration
- databases
- modeling language
- modelling language
- theorem prover
- life cycle
- ontology languages
- first order logic
- artificial intelligence
- database schema
- schema mappings
- transformation rules
- conceptual schema
- xml data
- data sources
- xml documents