Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados
Autor(a) principal: | |
---|---|
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 |