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

Detalhes bibliográficos
Autor(a) principal: Ahlert, Hubert
Data de Publicação: 1994
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/9006
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.
id URGS_10a1ef9ae3a4ccf9c8ecaf852b76ddf5
oai_identifier_str oai:www.lume.ufrgs.br:10183/9006
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Ahlert, HubertHeuser, Carlos Alberto2007-07-06T18:28:29Z1994http://hdl.handle.net/10183/9006000251840Esta 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.This Ph.D thesis presents a graphic and textual specification model for database transactions systems (ER/T+) and, also, an implementation model for this specification. Suggest a proceduralization technique for declarative specifications using a data flow dependency graph to establish a precedence relation between the diagram flows of the graphics specification language. Furthermore it presents the execution mechanism of the proposal specification language and the behavioral and structural rules for mapping the specification language into corresponding implementation language (C and SQL) constructions. Additionaly, are discussed query optimization aspects for transaction specification language and aspects of nested queries to combine various ER/T+ diagram flows into complex SQL query expressionsapplication/pdfporBanco : DadosTransacoes : Banco : DadosProgramacao automaticaTraducao : LinguagensAutomatic ProgrammingAutomatic System BuildingTools for System BuildingProceduralization of Declarative SpecificationsLanguage TranslationDatabase TransactionsQuery OptimizationUm modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dadosA non-procedural model to specifying and implementing database transactions systems info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1994doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000251840.pdf000251840.pdfTexto completoapplication/pdf28529484http://www.lume.ufrgs.br/bitstream/10183/9006/1/000251840.pdf473371859d87d1c620462a05c4f4849fMD51TEXT000251840.pdf.txt000251840.pdf.txtExtracted Texttext/plain269906http://www.lume.ufrgs.br/bitstream/10183/9006/2/000251840.pdf.txt6d6c8fb5792bbfb3c2ed6c87afb62719MD52THUMBNAIL000251840.pdf.jpg000251840.pdf.jpgGenerated Thumbnailimage/jpeg1283http://www.lume.ufrgs.br/bitstream/10183/9006/3/000251840.pdf.jpg0d381662ea2d27692407592c20f7db27MD5310183/90062018-10-17 09:25:44.812oai:www.lume.ufrgs.br:10183/9006Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T12:25:44Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
dc.title.alternative.en.fl_str_mv A non-procedural model to specifying and implementing database transactions systems
title Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
spellingShingle Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
Ahlert, Hubert
Banco : Dados
Transacoes : Banco : Dados
Programacao automatica
Traducao : Linguagens
Automatic Programming
Automatic System Building
Tools for System Building
Proceduralization of Declarative Specifications
Language Translation
Database Transactions
Query Optimization
title_short Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
title_full Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
title_fullStr Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
title_full_unstemmed Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
title_sort Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
author Ahlert, Hubert
author_facet Ahlert, Hubert
author_role author
dc.contributor.author.fl_str_mv Ahlert, Hubert
dc.contributor.advisor1.fl_str_mv Heuser, Carlos Alberto
contributor_str_mv Heuser, Carlos Alberto
dc.subject.por.fl_str_mv Banco : Dados
Transacoes : Banco : Dados
Programacao automatica
Traducao : Linguagens
topic Banco : Dados
Transacoes : Banco : Dados
Programacao automatica
Traducao : Linguagens
Automatic Programming
Automatic System Building
Tools for System Building
Proceduralization of Declarative Specifications
Language Translation
Database Transactions
Query Optimization
dc.subject.eng.fl_str_mv Automatic Programming
Automatic System Building
Tools for System Building
Proceduralization of Declarative Specifications
Language Translation
Database Transactions
Query Optimization
description 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.
publishDate 1994
dc.date.issued.fl_str_mv 1994
dc.date.accessioned.fl_str_mv 2007-07-06T18:28:29Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/9006
dc.identifier.nrb.pt_BR.fl_str_mv 000251840
url http://hdl.handle.net/10183/9006
identifier_str_mv 000251840
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/9006/1/000251840.pdf
http://www.lume.ufrgs.br/bitstream/10183/9006/2/000251840.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/9006/3/000251840.pdf.jpg
bitstream.checksum.fl_str_mv 473371859d87d1c620462a05c4f4849f
6d6c8fb5792bbfb3c2ed6c87afb62719
0d381662ea2d27692407592c20f7db27
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085091786883072

Registros relacionados