A Polymorphic Record Calculus and Its Compilation.

Published in: ACM Trans. Program. Lang. Syst. (1995)

Keyphrases

type checking
database
data sets
automated deduction
provably correct
databases
knowledge compilation
neural network
information retrieval
information systems
database systems
object oriented
computer algebra
database query languages