Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases.

Floris Geerts, Bart Kuijpers

Browse the full ICDT paper archive.