Type Checking Coherent Overloading.

Dennis M. Volpano

Published in: Softw. Concepts Tools (1995)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
object model
relational calculus
data structure
relational databases
expressive power
object oriented databases