Restricted Chase Termination: You Want More than Fairness

David Carral, Lukas Gerlach, Lucas Larroque +1

The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a database and a set of existential rules (aka tuple-generating dependencies), it iteratively ex…