We generalize Jiroušek's (\emph {right}) \emph {composition operator} in such a way that it can be applied to distribution functions with values in a "semifield", and introduce (parenthesized) \emph {compositional expressions}, which in some sense generalize Jiroušek's "generating sequences" of compositional models. We say that two compositional expressions are \emph {equivalent} if their evaluations always produce the same results whenever they are defined. Our first result is that a set system H is star-like with centre X \emph {if and only if} every two compositional expressions with "base scheme" H and "key" X are equivalent. This result is stronger than Jiroušek's result which states that, if H is star-like with centre X, then every two generating sequences with base scheme H and key X are equivalent. Then, we focus on \emph {canonical expressions}, by which we mean compositional expressions θ such that the sequence of the sets featured in θ and arranged in order of appearance enjoys the "running intersection property". Since every compositional expression, whose base scheme is a star-like set system with centre X and whose key is X, is a canonical expression, we investigate the equivalence between two canonical expressions with the same base scheme and the same key. We state a graphical characterization of those set systems H such that every two canonical expressions with base scheme H and key X are equivalent, and also provide a graphical algorithm for their recognition. Finally, we discuss the problem of detecting conditional independences that hold in a compositional model.d
In the framework of models generated by compositional expressions, we solve two topical marginalization problems (namely, the \emph{single-marginal problem} and the \emph{marginal-representation problem}) that were solved only for the special class of the so-called "canonical expressions". We also show that the two problems can be solved "from scratch" with preliminary symbolic computation.