A seguinte relação ProdLoja define para cada tupla um produto em uma loja, especificando a quantidade do produto na loja, o código e nome do produto e o código, nome e localização da loja. O domínio de todos os atributos da relação só pode incluir valores atômicos. Existem dependências funcionais entre os atributos CodProd e NomeProd e entre CodLoja e NomeLoja e LocalLoja. A chave primária é composta pelos atributos CodProd e CodLoja.