BCNF 분해 알고리즘. Amadria park šibenik plaza. Local 63 contract. Abu Obaida son.