On the decidability of the termination problem of active database systems

James Bailey, Guozhu Dong, Kotagiri Ramamohanarao. On the decidability of the termination problem of active database systems. Theoretical Computer Science, 311(1-3):389-437, 2004. [doi]

Abstract

Abstract is missing.