Disjoint essential sets of implicates of a CQ Horn function.

Ondrej Cepek Petr Kucera

Published in: Ann. Math. Artif. Intell. (2011)

Keyphrases

np hard
information systems
learning algorithm
prime implicates
databases
np complete
database design
query evaluation
conjunctive queries
piecewise linear