On Word Problems in Horn Theories.

Emmanuel Kounalis Michaël Rusinowitch

Published in: J. Symb. Comput. (1991)

Keyphrases

word problems
horn theories
canonical representation
functional dependencies
similar problems
logical formulas
relational databases
grade students
integrity constraints
database design
first order logic
user defined