Processing -- Completeness of the Updates -- Correctness of the Updates -- Preservation