Finite Axiomatizability by Disjunctive Existential Rules

TL;DR

This paper characterizes when classes of relational structures can be finitely axiomatized using disjunctive existential rules, linking model-theoretic properties with rule-based expressiveness in databases and AI.

Contribution

It provides a model-theoretic characterization of finite axiomatizability by disjunctive existential rules, introducing diagrammatic compatibility and extending results to linear and guarded rules.

Findings

Finite axiomatizability characterized by model-theoretic properties.

Introduction of diagrammatic compatibility for rule classes.

Rewriting guarded rules into linear rules when possible.

Abstract

Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence such as deductive databases and knowledge representation and reasoning. Disjunctive existential rules (a.k.a. disjunctive tuple-generating dependencies in the database literature) form such a prominent rule-based language. The goal of this work is to pinpoint the expressive power of disjunctive existential rules in terms of insightful model-theoretic properties. More precisely, given a collection $\mathcal{C}$ of relational structures, we show that $\mathcal{C}$ is axiomatizable via a finite set $\Sigma$ of disjunctive existential rules (i.e., $\mathcal{C}$ is precisely the set of models of $\Sigma$) iff $\mathcal{C}$ enjoys certain model-theoretic properties. This is achieved by using the well-known property of criticality, a refined version of closure under direct products, and a novel property called diagrammatic compatibility that relies on the method of diagrams. We further establish analogous characterizations for the well-behaved classes of linear and guarded disjunctive existential rules by adopting refined versions of diagrammatic compatibility that consider the syntactic restrictions imposed by linearity and guardedness; this illustrates the robustness of diagrammatic compatibility. We finally exploit diagrammatic compatibility to rewrite a set of guarded disjunctive existential rules into an equivalent set that falls in the weaker class of linear disjunctive existential rules, if one exists.