Guozhu Dong;Kotagiri Ramamohanarao
-;-
Incremental FO(+,
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL
ACM Transactions on Database Systems (TODS)