Văn bản này: Enhancing datalog reasoning with hypertree decompositions