局地と更新可能性