1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
  4. Mestrado em Engenharia Elétrica.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455
Full metadata record
DC FieldValueLanguage
dc.creator.IDRIBEIRO NETO, P. F.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/3091123485499725pt_BR
dc.contributor.advisor1PERKUSICH, Angelo.-
dc.contributor.advisor1IDPERKUSICH, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.advisor2PERKUSICH, Maria Lígia Barbosa.-
dc.contributor.advisor2IDPERKUSICH, M. L. B.pt_BR
dc.contributor.advisor2Latteshttp://lattes.cnpq.br/7146783372083122pt_BR
dc.contributor.referee1TURNELL, Maria de Fátima Queiroz Vieira.-
dc.contributor.referee2FIGUEIREDO , Jorge Cesar Abrantes de.-
dc.description.resumoNesse 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICApt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqEngenharia elétrica-
dc.titleAnálise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.pt_BR
dc.date.issued2001-08-
dc.description.abstractThis 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455-
dc.date.accessioned2019-04-15T12:12:33Z-
dc.date.available2019-04-15-
dc.date.available2019-04-15T12:12:33Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Petri-
dc.subjectPetri Nets-
dc.subjectBanco de dados-
dc.subjectBanco de datos-
dc.subjectDatabase-
dc.subjectEscalonamento - transações-
dc.subjectScheduling - Transactions-
dc.subjectProgramación - Transacciones-
dc.subjectEscalonamento - transações-
dc.subjectProgramación - Transacciones-
dc.subjectScheduling - Transactions-
dc.rightsAcesso Abertopt_BR
dc.creatorRIBEIRO NETO, Pedro Fernandes.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeCompetition control analysis and transaction scheduling in real-time databases using petri nets.pt_BR
dc.identifier.citationRIBEIRO 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,2001pt_BR
Appears in Collections:Mestrado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
PEDRO FERNANDES RIBEIRO NETO - DISSERTAÇÃO PPGEE 2001.pdfPedro Fernandes Ribeiro Neto - Dissertação PPGEE 200113.11 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.