On Word Problems in Horn Theories.

Emmanuel Kounalis Michaël Rusinowitch

Published in: CADE (1988)

Keyphrases

word problems
horn theories
canonical representation
functional dependencies
similar problems
logical formulas
integrity constraints
database
e learning
relational databases
database design
xml documents
grade students