Today, Industrial Control System (ICS) databases are incredibly complicated with quite prolonged iterative lifecycle where every new iteration is driven by a new version of the database assignment. For the correct databases development, the assignments should be consistent and correspond to special requirements, but this is not always the case. Therefore, the checking, or verification, of the assignments is becoming especially important. However, the appropriate problem of databases assignments verification is not widely discussed, and available verification methods are not suitable enough for solving the problem. The article clarifies the place of the assignments verification in the ICS databases lifecycle and presents a novel algorithm for the assignments verification. The particular implementation of the algorithm is also considered. As an example, the results of the verification of the assignments for the NPP ICS databases are presented.