Formal properties of probabilistic dependencies and their graphical representations (CSD. University of California at Los Angeles. Computer Science Department)