Change-Induced Revalidation Logic