Үүнийг мессежээр илгээх: Enhancing datalog reasoning with hypertree decompositions