Lambda-Calculi with Decidable Cappa-Type Checking.

Kevin E. Flannery

Published in: ICCI (1993)

Keyphrases

type checking
data types
query processor
database query languages
relational calculus
object model
abstract data types
data model
relational algebra
first order logic
database systems
expressive power
transitive closure
spatio temporal
d objects