Conjunctive Query Answering via a Fragment of Set Theory