Experience report: types for a relational algebra library.
Lennart AugustssonMårten ÅgrenPublished in: Haskell (2016)
Keyphrases
- relational algebra
- expressive power
- relational model
- normal form
- query language
- data model
- relational calculus
- relational database systems
- first order logic
- database query languages
- relational data model
- complex objects
- relational operators
- transitive closure
- database systems
- functional dependencies
- data warehouse
- xml documents
- null values
- machine learning