Is analogy between database and probability concepts legitimate?
I would expect that the empty relation corresponds to the always-zero probability distribution.  Disjoint union corresponds to addition of probability distributions.  However, standard union would be more complicated.  I don't really know if there is some way to encode the standard union for probability distributions.  (I have heard people say that probability distributions form a boolean algebra.  So there must be some operation that serves as the union.)