Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL

Chaoyi Pang, Guozhu Dong, Kotagiri Ramamohanarao. Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL. ACM Trans. Database Syst., 30(3):698-721, 2005. [doi]

Abstract

Abstract is missing.