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
ACESSO AO ARTIGO
http://hdl.handle.net/10183/9006Documentos 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