Mini-Mundo 1:
Uma loja de venda de Eletrodomésticos quer automatizar o seu controle de compra e troca de aparelhos por parte de seus clientes. Todo aparelho vendido possui garantia de 1 ano, a partir da data de venda. Isto significa que qualquer troca só poderá ser realizada dentro deste período, mesmo que já tenha havido várias trocas em função desta compra.
No termo de garantia é anotado a data da compra, marca, modelo e número de série do aparelho vendido juntamente com o nome e endereço do cliente que o comprou. A cada troca de aparelho, relativo a primeira compra, é verificado se ainda está no prazo de garantia, e é registrado o cliente que realizou a troca. Qualquer cliente pode realizar uma troca, mesmo que não tenha sido o comprador. Os aparelhos defeituosos são devolvidos para a fábrica e não mais retornam para a loja. A loja quer saber: 
a)  Relação de aparelhos disponíveis na loja
b) Relação de aparelhos que apresentaram defeitos contendo quem realizou a troca, a data e o defeito apresentado
c)  Relação de clientes cujas compras nunca apresentaram defeito