Automatically calculates the number of worlds and probabilities for a probabilistic datbase from an existing database.
