Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados

Detalhes bibliográficos
Autor(a) principal: Ahlert, Hubert
Data de Publicação: 1992
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126668
Resumo: O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar uma solução, são avaliadas alternativas usando métodos de tradução de especificações (compilativo), métodos de execução da especificação (interpretativo) e métodos hibridos que incorporem características compilativas e interpretativas. como contribuição espera-se o desenvolvimento de técnicas de tradução e/ou interpretação de especificações.
id UFRGS-2_b70db94c23449d43d1e841065303c8be
oai_identifier_str oai:www.lume.ufrgs.br:10183/126668
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Ahlert, Hubert2015-09-14T15:58:21Z1992http://hdl.handle.net/10183/126668000059648O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar uma solução, são avaliadas alternativas usando métodos de tradução de especificações (compilativo), métodos de execução da especificação (interpretativo) e métodos hibridos que incorporem características compilativas e interpretativas. como contribuição espera-se o desenvolvimento de técnicas de tradução e/ou interpretação de especificações.The subject being discussed in this thesis proposal is the automatic systems construction, particularly the implementation of non-procedural specifications for transactiondriven database systems. As a means of obtaining a solution, some altematives are evaluated using specification translation methods (compilative), specification execution methods (interoretative) and hybrid methods including both interpretative and compilative characteristics. It is expected that this work will lead to the development of techniques for translation and/or interpretation of specifications.application/pdfporCPGCC da UFRGSBanco : DadosSistemas transacionaisRumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000059648.pdf.txt000059648.pdf.txtExtracted Texttext/plain84270http://www.lume.ufrgs.br/bitstream/10183/126668/2/000059648.pdf.txt168c4005323009833d112a494512b311MD52ORIGINAL000059648.pdf000059648.pdfTexto completoapplication/pdf2171998http://www.lume.ufrgs.br/bitstream/10183/126668/1/000059648.pdff2003bc717693b020eab4f38b8b54d65MD51THUMBNAIL000059648.pdf.jpg000059648.pdf.jpgGenerated Thumbnailimage/jpeg1543http://www.lume.ufrgs.br/bitstream/10183/126668/3/000059648.pdf.jpgfe5c98f697ab42a5af2da7d7b92f29c5MD5310183/1266682018-10-23 08:59:12.07oai:www.lume.ufrgs.br:10183/126668Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T11:59:12Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
title Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
spellingShingle Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
Ahlert, Hubert
Banco : Dados
Sistemas transacionais
title_short Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
title_full Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
title_fullStr Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
title_full_unstemmed Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
title_sort Rumo a um modelo de implementacao de especificacoes nao procedurais de 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.subject.por.fl_str_mv Banco : Dados
Sistemas transacionais
topic Banco : Dados
Sistemas transacionais
description O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar uma solução, são avaliadas alternativas usando métodos de tradução de especificações (compilativo), métodos de execução da especificação (interpretativo) e métodos hibridos que incorporem características compilativas e interpretativas. como contribuição espera-se o desenvolvimento de técnicas de tradução e/ou interpretação de especificações.
publishDate 1992
dc.date.issued.fl_str_mv 1992
dc.date.accessioned.fl_str_mv 2015-09-14T15:58:21Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126668
dc.identifier.nrb.pt_BR.fl_str_mv 000059648
url http://hdl.handle.net/10183/126668
identifier_str_mv 000059648
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.publisher.none.fl_str_mv CPGCC da UFRGS
publisher.none.fl_str_mv CPGCC da UFRGS
dc.source.none.fl_str_mv reponame:Repositório Institucional 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 Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126668/2/000059648.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126668/1/000059648.pdf
http://www.lume.ufrgs.br/bitstream/10183/126668/3/000059648.pdf.jpg
bitstream.checksum.fl_str_mv 168c4005323009833d112a494512b311
f2003bc717693b020eab4f38b8b54d65
fe5c98f697ab42a5af2da7d7b92f29c5
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224489456893952

Registros relacionados