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:
✂️ a) ? x?y Funcionario(x) ?Departamento(y) ? Lotado(x,y) ✂️ b) ?x?y Funcionario(x) ?Departamento(y) ?Chefia(x,y) ✂️ c) ?x?y Departamento(y) ?Chefia(x,y) ? Funcionario(x) ✂️ d) ?x?y Funcionario(x) ?Cargo(y) ?Encarregado(x,y) ✂️ e) ?x?y Funcionario(x) ? Cargo(y)