Adjointness in recursion.

Philip S. Mulry

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

complex objects
deductive databases
transitive closure
lower bound
datalog programs
database
knowledge base
similarity measure
management system
multi dimensional
integrity constraints