Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics.

Françoise Fabret Mireille Régnier Eric Simon Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics. 155-170 ICDT1992/P155.pdf 1992 ICDT db/conf/icdt/icdt92.html#FabretRS92 conf/icdt/92 http://dx.doi.org/10.1007/3-540-56039-4_39 journals/tcs/AbiteboulS91 conf/pods/AbiteboulSV90 conf/icdt/AbiteboulG92 conf/lics/AbiteboulV89 journals/tods/BlakeleyCL89 ... journals/cl/Earley76 ... conf/popl/Fong79 journals/ai/Forgy82 conf/popl/FongU76 conf/sigmod/Hanson92 conf/aaai/Miranker87 journals/toplas/PaigeK82 conf/sigmod/SellisLR88 books/cs/Ullman88