שליחה במסרון: Hypertree Decompositions and Tractable Queries