Lambek Calculus and its relational semantics: Completeness and incompleteness.
Hajnal AndrékaSzabolcs MikulásPublished in: J. Log. Lang. Inf. (1994)
Keyphrases
- database query languages
- relational calculus
- relational algebra
- relational operators
- expressive power
- algebraic structure
- formal language
- query language
- relational databases
- relational data
- formal semantics
- relational model
- complex objects
- logic programming
- database schema
- incomplete information
- aggregate functions
- data model
- database systems
- semantic information
- algebraic operations
- database
- sql queries
- conceptual model
- first order logic
- relational schema
- type checking