8
Tree Decomposition
•
Definition
A conjunctive query (or a
hypergraph) is
acyclic
if there exists a tree
decomposition such that
8
t, B
t
is an
hyperedge.
•
•
I.e. there are no redundant variables on the
tree nodes.