Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets