Suppose that the database in the Student Registration System satisfies all the integrity constraints given in Section IV of the Requirements Document Outline. Is the database necessarily correct? Explain.

What will be an ideal response?

No. For example a student might have registered for a course and the database was not updated at all! The database is consistent because it was consistent before the registration transaction started, and it was not changed at all during the registration transaction — but the database is not correct, because it does not contain any information about the student that just registered.