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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
→
Mestrado em Engenharia Elétrica.
→
Ver item

dc.creator.ID	RIBEIRO NETO, P. F.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/3091123485499725	pt_BR
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	PERKUSICH, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.advisor2	PERKUSICH, Maria Lígia Barbosa.
dc.contributor.advisor2ID	PERKUSICH, M. L. B.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/7146783372083122	pt_BR
dc.contributor.referee1	TURNELL, Maria de Fátima Queiroz Vieira.
dc.contributor.referee2	FIGUEIREDO , Jorge Cesar Abrantes de.
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Engenharia elétrica
dc.title	Aná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.issued	2001-08
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455
dc.date.accessioned	2019-04-15T12:12:33Z
dc.date.available	2019-04-15
dc.date.available	2019-04-15T12:12:33Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Petri
dc.subject	Petri Nets
dc.subject	Banco de dados
dc.subject	Banco de datos
dc.subject	Database
dc.subject	Escalonamento - transações
dc.subject	Scheduling - Transactions
dc.subject	Programación - Transacciones
dc.subject	Escalonamento - transações
dc.subject	Programación - Transacciones
dc.subject	Scheduling - Transactions
dc.rights	Acesso Aberto	pt_BR
dc.creator	RIBEIRO NETO, Pedro Fernandes.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Competition control analysis and transaction scheduling in real-time databases using petri nets.	pt_BR
dc.identifier.citation	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	pt_BR