The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].

Luigi Liquori Benjamin Wack

Published in: WRLA (2004)

Keyphrases

type checking
database query languages
data types
relational calculus
query processor
object model
abstract data types
relational model
preprocessing
relational algebra
expressive power
normal form
databases
multi dimensional
programming language
d objects
query language
database systems
data mining