On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi.
Gerd G. HillebrandParis C. KanellakisPublished in: LICS (1996)
Keyphrases
- expressive power
- lambda calculus
- database query languages
- type checking
- relational calculus
- query language
- first order logic
- data complexity
- relational algebra
- transitive closure
- complex objects
- programming language
- computational properties
- database
- fixed point
- recursive queries
- machine learning
- relational databases