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 |