Decomposition of Multi-operator Queries on Semiring-Based Graphical Models