A Calculus of Components with Dynamic Type-Checking.

Sonia Fagorzi Elena Zucca

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

type checking
database query languages
data types
abstract data types
query processor
relational databases
knowledge representation