Um módulo somente pode ser desenvolvido por um único desenvolvedor.

Um módulo pode ter mais de um supermódulo imediato.

Um parâmetro pode estar associado a mais de uma função.

Para a criação de cada registro de Funcao, é obrigatória a presença de um correspondente registro de Modulo.

Não pode haver desenvolvedor que não tenha desenvolvido pelo menos um módulo.