Type Endereco Tuple {estado, cidade, bairro, rua, complemento}

Type estado, cidade, bairro, rua, complemento string

Type Data Tuple {dia, mes, ano}

Type dia, mes, ano integer

class Livro attributes(

cod_livro: integer unique
data_publi: [Data]
titulo: string
set autor: [Autor]
set edicao: [Edicao]
)

Class Autor attributes(

cod_autor: integer unique
nome_autor: string
data_nasc: [Data]
set nacionalidade: [Nacionalidade]
)

class Nacionalidade attributes(

sigla_nasc: varchar
nome_nasc: string
)

Class Edicao attributes(

numero_ed: integer unique
isbn: integer unique
valor_ed: float
ano_ed: integer
set editora: [Editora]
)

Class Editora attributes(

cod_editora: integer unique
nome_editora: string
Telefone_editora: integer
e-mail_editora: string
)

Class Aquisicao attributes(

data_compra: Data
id_compra: integer unique
valor_compra: float
qtde_compra: integer
set fornecedor: [Fornecedor]
)

Class Fornecedor attributes(

cnpj_fornecedor: string unique
nome_fornecedor: string
endereco: [Endereco]
)

Class Pedido attributes(

cod_ped: integer unique
data_ped: [Data]
Localizacao_linha: string
qtd_ped: integer
valor_ped: float
livro: [Livro]
set cliente: [Cliente]
)

Class Cliente attributes(

cod_cliente: integer unique
nome_cliente: string
e-mail_cliente: string
telefone_cliente: integer
endereco: [Endereco]
)

Class Pessoa_Juridica extends Cliente {

cnpj: string unique
ie: string unique
}

Class Pessoa_fisica extends Cliente {

cpf: string unique
rg: string
}