Formal theories of probabilistic dependency models