Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.

Detalhes bibliográficos
Autor(a) principal: RIBEIRO NETO, Pedro Fernandes.
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455
Resumo: Nesse trabalho é apresentado um modelo para analisar o controle de concorrência e o escalonamento de transações para bancos de dados em tempo-real. O modelo é baseado em um método de modelagem para bancos de dados em tempo-real usando redes de Petri Coloridas (CPN). As características da técnica de controle de concorrência semântico são suportadas pelas restrições das funções de compatibilidade, definidas pelo projetista do sistema, que são suficientes para limitar a imprecisão resultante da negociação entre a consistência lógica e temporal dos dados e das transações. O modelo CPN para o banco de dados em tempo-real é analisado utilizando cenários e diagramas de seqüências de mensagens e através da geração do espaço de estados para os cenários. São realizados testes de desempenho para verificar se as transações atendem os seus prazos finais.
id UFCG_d9caea0af3500ea8784708448767e8cc
oai_identifier_str oai:localhost:riufcg/3455
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.Competition control analysis and transaction scheduling in real-time databases using petri nets.Redes de PetriPetri NetsBanco de dadosBanco de datosDatabaseEscalonamento - transaçõesScheduling - TransactionsProgramación - TransaccionesEscalonamento - transaçõesProgramación - TransaccionesScheduling - TransactionsEngenharia elétricaNesse trabalho é apresentado um modelo para analisar o controle de concorrência e o escalonamento de transações para bancos de dados em tempo-real. O modelo é baseado em um método de modelagem para bancos de dados em tempo-real usando redes de Petri Coloridas (CPN). As características da técnica de controle de concorrência semântico são suportadas pelas restrições das funções de compatibilidade, definidas pelo projetista do sistema, que são suficientes para limitar a imprecisão resultante da negociação entre a consistência lógica e temporal dos dados e das transações. O modelo CPN para o banco de dados em tempo-real é analisado utilizando cenários e diagramas de seqüências de mensagens e através da geração do espaço de estados para os cenários. São realizados testes de desempenho para verificar se as transações atendem os seus prazos finais.This work presents a model to analyze the scheduling of transactions for real-time databases considering semantic concurrency control mechanisms. The model is based on a modeling method for real-time databases using Colored Petri nets (CPN). The features of a semantic concurrency control technique are supported by the restrictions of the compatibility functions that are enough to bound the resulting imprecision of the trade-off between both the traditional logical consistency constraints of data and transactions, and the additional temporal consistency constraints of data and transactions. The CPN Model for real-time databases is analyzed using scenarios and messages sequences charts as well as the generation of the states space for scenarios. Performance tests are executed to verify if the transactions have fulfilled their deadlines.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGPERKUSICH, Angelo.PERKUSICH, A.http://lattes.cnpq.br/9439858291700830PERKUSICH, Maria Lígia Barbosa.PERKUSICH, M. L. B.http://lattes.cnpq.br/7146783372083122TURNELL, Maria de Fátima Queiroz Vieira.FIGUEIREDO , Jorge Cesar Abrantes de.RIBEIRO NETO, Pedro Fernandes.2001-082019-04-15T12:12:33Z2019-04-152019-04-15T12:12:33Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil,2001porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2021-06-10T18:12:01Zoai:localhost:riufcg/3455Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512021-06-10T18:12:01Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
Competition control analysis and transaction scheduling in real-time databases using petri nets.
title Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
spellingShingle Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
RIBEIRO NETO, Pedro Fernandes.
Redes de Petri
Petri Nets
Banco de dados
Banco de datos
Database
Escalonamento - transações
Scheduling - Transactions
Programación - Transacciones
Escalonamento - transações
Programación - Transacciones
Scheduling - Transactions
Engenharia elétrica
title_short Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
title_full Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
title_fullStr Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
title_full_unstemmed Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
title_sort Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
author RIBEIRO NETO, Pedro Fernandes.
author_facet RIBEIRO NETO, Pedro Fernandes.
author_role author
dc.contributor.none.fl_str_mv PERKUSICH, Angelo.
PERKUSICH, A.
http://lattes.cnpq.br/9439858291700830
PERKUSICH, Maria Lígia Barbosa.
PERKUSICH, M. L. B.
http://lattes.cnpq.br/7146783372083122
TURNELL, Maria de Fátima Queiroz Vieira.
FIGUEIREDO , Jorge Cesar Abrantes de.
dc.contributor.author.fl_str_mv RIBEIRO NETO, Pedro Fernandes.
dc.subject.por.fl_str_mv Redes de Petri
Petri Nets
Banco de dados
Banco de datos
Database
Escalonamento - transações
Scheduling - Transactions
Programación - Transacciones
Escalonamento - transações
Programación - Transacciones
Scheduling - Transactions
Engenharia elétrica
topic Redes de Petri
Petri Nets
Banco de dados
Banco de datos
Database
Escalonamento - transações
Scheduling - Transactions
Programación - Transacciones
Escalonamento - transações
Programación - Transacciones
Scheduling - Transactions
Engenharia elétrica
description Nesse trabalho é apresentado um modelo para analisar o controle de concorrência e o escalonamento de transações para bancos de dados em tempo-real. O modelo é baseado em um método de modelagem para bancos de dados em tempo-real usando redes de Petri Coloridas (CPN). As características da técnica de controle de concorrência semântico são suportadas pelas restrições das funções de compatibilidade, definidas pelo projetista do sistema, que são suficientes para limitar a imprecisão resultante da negociação entre a consistência lógica e temporal dos dados e das transações. O modelo CPN para o banco de dados em tempo-real é analisado utilizando cenários e diagramas de seqüências de mensagens e através da geração do espaço de estados para os cenários. São realizados testes de desempenho para verificar se as transações atendem os seus prazos finais.
publishDate 2001
dc.date.none.fl_str_mv 2001-08
2019-04-15T12:12:33Z
2019-04-15
2019-04-15T12:12:33Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455
RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil,2001
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455
identifier_str_mv RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil,2001
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.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744371294142464

Registros relacionados