Relational Semantics and a Relational Proof System for Full Lambek Calculus.
Wendy MacCaullPublished in: J. Symb. Log. (1998)
Keyphrases
- relational calculus
- relational data
- relational databases
- relational algebra
- data model
- database query languages
- expressive power
- relational operators
- entity relationship
- multi relational
- relational queries
- algebraic operations
- relational model
- formal semantics
- transformation rules
- relational schema
- relational learning
- aggregate functions
- neural network