Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
Geerts, Floris ; Kuijpers, Bart
Database Theory — ICDT 2003, 2003, p.190-206
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível