Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados

• Ano de defesa: 1994
• Autor(a) principal: Ahlert, Hubert
• Orientador(a): Heuser, Carlos Alberto
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Palavras-chave em Português: Banco : Dados; Transacoes : Banco : Dados; Programacao automatica; Traducao : Linguagens
• Palavras-chave em Inglês: Automatic Programming; Automatic System Building; Tools for System Building; Proceduralization of Declarative Specifications; Language Translation; Database Transactions; Query Optimization
• Link de acesso: http://hdl.handle.net/10183/9006

Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de precedecia entre os fluxos do diagrama da linguagem gráfica de especificação. Apresenta, também, os mecanismos de execução da linguagem de especificação proposta e as regras de mapeamento da linguagem de especificação, em seus aspectos estruturais (dados) e comportamentais (transações), para correspondentes construções na linguagem de implementação (C e SQL). Adicionalmente, são discutidos aspectos de otimização de consultas no âmbito da linguagem de especificação de transações e, também, aspectos de aninhamento de consultas para combinar diversos fluxos do diagrama ER/T+ em expressões complexas de consultas SQL.