Stratified polymorphism and primitive recursion.

Norman Danner Daniel Leivant

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

deductive databases
complex objects
transitive closure
information systems
higher level
databases
genetic algorithm
case study
image sequences
optimal solution
digital libraries
query processing
logic programming
expressive power
datalog programs