Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)

摘要

In this short paper, we discuss a model-theoretic characterization of when a collection of relational structures is axiomatizable via a finite set of disjunctive existential rules. The presented characterization uses the property of criticality, a refined version of closure under direct products, and a new property that relies on the method of diagrams.