The power of primitive positive definitions with polynomially many variables
Two well-studied closure operators for relations are based on existentially quantified conjunctive formulas, primitive positive (p.p.) definitions, and primitive positive formulas without existenti ...