Mục đích là để thay đổi D thành D, để các quy tắc hiện có tại Rs không thể được khai thác từ D trong khi các quy tắc hiện có trong R − Rs có thể được có thể được khai thác.
Mục đích là để thay đổi D thành D ?, để các quy tắc hiện tại Rs không thể được khai thác từ D trong khi các quy định hiện hành trong R - Rs có thể được có thể khai thác.