On the complexity of deciding typability in the relational algebra.
Stijn VansummerenPublished in: Acta Informatica (2005)
Keyphrases
- relational algebra
- relational model
- expressive power
- data model
- normal form
- query language
- relational database systems
- relational calculus
- first order logic
- complex objects
- relational data model
- database query languages
- databases
- transitive closure
- relational databases
- algebraic operations
- relational algebra expressions
- database technology
- database design
- database systems
- data mining