On First Order Database Query Languages

Arnon Avron Yoram Hirshfeld

Published in: LICS (1991)

Keyphrases

database query languages
lambda calculus
first order logic
expressive power
relational algebra
complex objects
database systems
query language
type checking
relational model
relational databases
aggregate functions
relational calculus
data model
horn clauses
aggregate queries
data types