Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- higher order
- logic programming
- formal model
- expressive power
- theorem proving
- complex objects
- first order logic
- database systems
- relational algebra
- predicate logic
- semantic network
- program understanding
- database management systems
- object oriented
- query language
- data structure