Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Generalized schema-mappings: from termination to tractability