A Relational Calculus for Program Construction by Parts.
Marc FrappierAli MiliJules DesharnaisPublished in: Sci. Comput. Program. (1996)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- arithmetic constraints
- relational model
- normal form
- first order logic
- database
- transitive closure
- relational data model
- multi dimensional
- data model
- database technology
- relational databases
- machine learning
- data mining
- database query languages