Polymorphic CSP Type Checking.

Ping Gao Robert Esser

Published in: ACSC (2001)

Keyphrases

type checking
constraint satisfaction problems
data types
query processor
database query languages
object model
relational calculus
abstract data types
object recognition
query processing
data model
query optimization