14th International Conference on Logic Programming (ICLP 97), LOUVAIN, Belçika, 8 - 11 Temmuz 1997, ss.213-225
In this paper, one of the most recent promising algorithms that compute changes to recursive structures in response to changes to the extensional database (EDB) relations (i.e. DRed algorithm) has been studied and it has been improved. In the improved algorithm, the computation has been further ''incrementalized'' in comparison to DRed algorithm using extra intra-iteration computations in each phase. Also, both of the algorithms have been implemented in a testbed to study their performance through simulations.