A propriedade de "consistência" (C) em um sistema de gerenciamento de banco de dados relacional com transações ACID garante que: