On Finding Solutions for Extended Horn Formulas.

John S. Schlipf Fred S. Annexstein John V. Franco Ramjee P. Swaminathan

Published in: Inf. Process. Lett. (1995)

Keyphrases

horn formulas
optimal solution
databases
artificial intelligence
normal form
relational databases