É um programa em execução que realiza operações como leitura de uma tabela ou inserções de linhas em
uma tabela de um banco de dados. Ao final da execução deste programa, o banco de dados precisa ficar em
um estado válido ou coerente, de acordo com as restrições definidas em seu esquema.
Esta é a definição do conceito de
