Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries Guozhu Dong Jianwen Su 101-106 Inf. Comput. July 1995 120 1 db/journals/iandc/iandc120.html#DongS95