Login / Signup

The testability-preserving concurrent decomposition and factorization of Boolean expressions.

Janusz RajskiJagadeesh Vasudevamurthy
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases
  • boolean expressions
  • normal form
  • real valued
  • incomplete information
  • database
  • databases
  • data structure
  • database design
  • ranking functions
  • conjunctive queries