relational decomposition