Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- complex objects
- logic programming
- formal model
- first order logic
- expressive power
- relational model
- natural language processing
- theorem proving
- query language
- database systems
- database
- relational algebra
- type checking
- relational databases