Um tipo de objeto de banco de dados que contém uma série de comandos. Programas podem ser aninhados, com um chamar outro para criar uma aplicação completa ou uma ferramenta de manutenção de banco de dados sofisticados. Se um programa retorna um valor, ele é chamado uma função definida pelo usuário.