Login / Signup

On Word Problems in Horn Theories.

Emmanuel KounalisMichaël Rusinowitch
Published in: CTRS (1987)
Keyphrases
  • word problems
  • horn theories
  • canonical representation
  • functional dependencies
  • similar problems
  • grade students
  • integrity constraints
  • logical formulas
  • relational databases
  • database
  • learning tools
  • pilot study