A Formal Semantics for Z and the Link between Z and the Relational Algebra.
M. J. van DiepenKees M. van HeePublished in: VDM Europe (1990)
Keyphrases
- formal semantics
- relational algebra
- first order logic
- expressive power
- query language
- relational model
- data model
- normal form
- relational calculus
- relational database systems
- theorem prover
- logical language
- inference rules
- complex objects
- modeling language
- database technology
- incomplete information
- relational databases
- databases
- aggregate functions
- database systems
- case study
- database