Em um banco de dados, um programa em execução que forma uma unidade lógica de processamento é denominado de