updateBDD