update BDD