This function is used to perform a check on the logical consistency of the database. No user intervention is required. If checks are passed the message "Database is logically consistent" is written to the Output Window. If the database is not found to be consistent diagnostic messages will appear in the Output Window and Doctor Database from the Edit menu should be used to correct the problem. See section Doctor Database.
Several options, such as assembly, automatically perform a check database prior to executing. If the database is found to be inconsistent the option will not proceed. However some checks are considered as "non fatal" as will not block such operations. Currently the only non fatal checks are the positional checks for annotations and for readings that are never used.
The following sections define the checks and the order they are performed in.