Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados / A non-procedural model to specifying and implementing database transactions systems

AUTOR(ES)

Ahlert, Hubert

DATA DE PUBLICAÇÃO

2007

RESUMO

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.

ASSUNTO(S)

automatic programming banco : dados automatic system building transacoes : banco : dados programacao automatica tools for system building traducao : linguagens proceduralization of declarative specifications language translation database transactions query optimization

Documentos Relacionados

• A CONCEITUAL MODEL FOR ESPECIFICATION FOR SECURITY RISK MANAGEMENT OF INFORMATION SYSTEMS
• Implementação de um sistema temporal em um banco de dados orientado a objetos
• A CELL DYNAMICAL MODEL APPLIED TO GRANULAR SYSTEMS
• Especificação e implementação de um modelo assíncrono para replicação, propagação e conciliação de bases de dados distribuídas
• Transactional graph transformation systems