update for formal database
update normal
update normal2