এই পাঠটি: Enhancing datalog reasoning with hypertree decompositions