谓词生成举例中包含关系E(e#,name,loc,sal,…)，查询谓词如Ai  Value: A5，Loc = Sa，Loc = Sb。下一步是生成“小项”谓词，并消除不必要的谓词。给定简单谓词集Pr= { p1, p2,.. pn }，则“小项”谓词（minterm predicate）的形式为：p1  p2  …  pn，其中pk是pk或¬pk。