A Labelled Deductive System for Relational Semantics of the Lambek Calculus.
Miroslawa Kolowska-GawiejnowiczPublished in: Math. Log. Q. (1999)
Keyphrases
- database query languages
- relational calculus
- relational algebra
- relational operators
- expressive power
- database language
- algebraic structure
- formal language
- relational databases
- database languages
- query language
- semantic information
- deductive object oriented
- complex objects
- formal semantics
- relational data model
- type checking
- object oriented
- aggregate functions
- database systems
- conceptual model
- relational data
- logic programming
- entity relationship
- process algebra
- relational model
- proof procedure
- relational queries
- rule language
- first order logic
- data model
- abductive inference