Type Checking for a Multiset Rewriting Language.

Pascal Fradet Daniel Le Métayer

Published in: LOMAPS (1996)

Keyphrases

type checking
database query languages
data types
relational calculus
query processor
abstract data types
expressive power
object model
programming language
databases
data mining
management system
general purpose
continuous queries