An Exact and Efficient Algorithms for Disjunctive Decomposition