4 citations · 6 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.DB2025
About the Multi-Head Linear Restricted Chase Termination
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski +1
The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating dependencies), its termination is not guaranteed, and even undecidable…
cs.LO2025
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…