Decomposição em Banco de Dados 1

Trabalho BD 1 – 2ª Parte

Dependências funcionais
S={cod_item → quant, cod_prato → descricao, cod_prato → preco, cod_coz → telefone, cod_coz → nome, cod_coz → cpf_coz, num_ped → num_mesa, num_ped → cod_garcom, numero → data, numero → tipo_reserva, numero → cpf, cod_fat → data_fat, cod_fat → cpf, cod_garcom → nome_garcom, cod_garcom → cpf_garcom, cpf → telefone_cliente, cpf → nome_cliente, num_mesa → descricao_mesa}

Redução
1 – Todas as dependências funcionais do conjunto S são unitárias.

2 – Em todas as dependências funcionais o elemento X é o mínimo pois possui somente um atributo.

3 – cod_prato → preco é dedutível? (∑,{cod_prato})={cod_prato, descricao} Não é dedutível.

cod_prato → descricao é dedutível? (∑,{cod_prato})={cod_prato, preco} Não é dedutível.

cod_coz → nome é dedutível? (∑,{cod_coz})={cod_coz, telefone, cpf_coz} Não é dedutível.

cod_coz → nome é dedutível? (∑,{cod_coz})={cod_coz, cpf_coz, telefone} Não é dedutível.

cod_coz → cpf_coz é dedutível? (∑,{cod_coz})={cod_coz, nome, telefone} Não é dedutível.

num_pedido → cod_garçom é dedutível? (∑,{num_pedido})={num_pedido, num_mesa} Não é dedutível.

num_pedido → num_mesa é dedutível? (∑,{num_pedido})={num_pedido, cod_garçom} Não é dedutível.

numero → data é dedutível? (∑,{numero})={numero, cpf, tipo} Não é dedutível.

numero → tipo é dedutível? (∑,{numero})={numero, data, cpf} Não é dedutível.

numero → cpf é dedutível? (∑,{numero})={numero, tipo, data} Não é dedutível.

cod_fat → cpf é dedutível? (∑,{cod_fat})={cod_fat, data_fat} Não é dedutível.

cod_fat → data_fat é dedutível? (∑,{cod_fat})={cod_fat, cpf} Não é dedutível.

cod_garcom → cpf_garcom é dedutível? (∑,{cod_garcom})={cod_garcom, nome_garcom} Não é dedutível.

cod_garcom → nome_garcom é dedutível? (∑,{cod_garcom})={cod_garcom, cpf_garcom} Não é dedutível.

cpf → nome_cliente é dedutível? (∑,{cpf})={cpf, telefone_cliente}