Type Checking in the Large.

Michael R. Levy

Published in: CC (1988)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
relational calculus
object model
data structure
object recognition
general purpose
database systems
user defined
relational algebra