Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations.
Holger GieseStephan HildebrandtLeen LambersPublished in: Softw. Syst. Model. (2014)
Keyphrases
- relational model
- formal semantics
- data model
- graph grammars
- relational databases
- database technology
- relational algebra
- data modeling
- incomplete information
- complex objects
- relational database systems
- functional dependencies
- entity relationship
- databases
- first order logic
- machine learning
- multi agent systems
- spatial databases
- object oriented
- multi agent
- bayesian networks
- modeling language
- data warehousing
- management system
- query language
- database management systems
- conceptual model
- artificial intelligence
- database applications
- data mining
- database