Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form.

Marisa Venturini Zilli

Published in: ICALP (1978)

Keyphrases

normal form
functional dependencies
relational algebra
nested relations
database design
relational databases
multi valued
modal logic
databases
incomplete information
semantic similarity
classical logic
propositional formulas
set of functional dependencies
general logic programs