Type Checking Circus Specifications.

Manuela Xavier Ana Cavalcanti Augusto Sampaio

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

Keyphrases

type checking
database query languages
data types
query processor
abstract data types
high level
object model
conceptual models
relational calculus