Monadic Program Schemes Under Restricted Classes of Free Interpretations.

Werner Dilger Peter Raulefs

Published in: ICALP (1974)

Keyphrases

deductive databases
class labels
knowledge base
case study
database systems
computer programs
program execution
database
machine learning
artificial intelligence
fixpoint
control program
datalog queries