Schemes with Recursion on Higher Types.

Klaus Indermark

Published in: MFCS (1976)

Keyphrases

deductive databases
data sets
databases
search algorithm
multiscale
objective function
lower bound
query language
complex objects
transitive closure