Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy.
Laura E. BrownAdam FeltzCharles WallacePublished in: ITiCSE (2018)
Keyphrases
- relational algebra
- expressive power
- relational model
- data model
- query language
- normal form
- relational database systems
- relational calculus
- complex objects
- first order logic
- transitive closure
- relational data model
- modal logic
- structured query language
- summary tables
- relational operators
- database query languages
- algebraic operations
- predicate logic
- multi dimensional
- relational databases