Relational concurrent refinement part III: traces, partial relations and automata.
John DerrickEerke A. BoitenPublished in: Formal Aspects Comput. (2014)
Keyphrases
- cellular automata
- data model
- relational information
- relational calculus
- relational data model
- relational databases
- multiple relations
- relational data
- semantic relations
- table of contents
- temporal relations
- algebraic operations
- relational algebra
- database management
- relational model
- statistical relational learning
- tree automata
- expressive power
- relational models
- background knowledge
- query language
- bayesian networks