Um banco de dados relacional possui as seguintes tabelas:

FUNCIONARIO(ID, Nome, IDDep, IDCargo), onde ID é chave primária, IDDep é chave estrangeira referenciando DEPARTAMENTO e IDCargo é chave estrangeira referenciando CARGO.

DEPARTAMENTO(ID, Nome, IDChefe), onde ID é chave primária e IDChefe é chave estrangeira referenciando FUNCIONÁRIO.

CARGO(ID, Nome, Salário), onde ID é chave primária.

Considere os predicados unários Funcionario(x), Departamento(x) e Cargo(x) que representam, respectivamente, que x é funcionário, x é um departamento, e x é um cargo, e as relações Lotado(x, y), Chefia(x, y) e Encarregado(x, y) representando, respectivamente, que x está lotado no departamento y, que x é o chefe do departamento y, e que o cargo de x é y.

É compatível com a tabelas descritas a seguinte fórmula da lógica de predicados: