Weiqin Xu Riccardo Tommasini 0001 Olivier Curé No Rule is Forever: Datalog Reasoning with Rule Amendments. 2867-2879 2025 ICDE https://doi.org/10.1109/ICDE65448.2025.00215 conf/icde/2025 db/conf/icde/icde2025.html#XuTC25 streams/conf/icde