Conjunctive Query

A (conjunctive) query (CQ) $Q$ is a conjunction of propositions $Q_1\wedge \dots \wedge Q_n$ (also seen as a set $Q_1,\dots ,Q_n$)