Un tipo de objeto de base de datos que contiene una serie de comandos. Programas pueden anidarse, con uno llamar a otra para crear una aplicación completa o una herramienta de mantenimiento de base de datos sofisticados. Si un programa devuelve un valor, se llama a una función definida por el usuario.