Autores

5245
Bruno Portella de Aguiar Grieco
2359,44,51
5246
2359,44,51
5247
2359,44,51

Informações:

Publicações do PESC

Título
Operadores Visando à Otimização de Precisão no Cálculo de Séries Temporais
Linha de pesquisa
Otimização
Tipo de publicação
Tese de Doutorado
Número de registro
Data da defesa
29/3/2012
Resumo

Esta tese apresenta uma série de operadores que podem ser adicionados, como extensão, integrada a uma álgebra relacional de modo a aprimorar a gerência e manipulação de dados correspondentes a séries temporais oriundas de experimentos científicos. A principal vantagem de uma solução no nível algébrico é permitir que consultas sejam especificadas em alto nível e otimizadas algebricamente pelo sistema de banco dados. Os operadores foram definidos formalmente, implementados em um protótipo de sistema de banco de dados e explorados em um estudo de caso com dados reais. A completude e correteza destes operadores é validada por meio do Secondo, um sistema voltado para permitir extensões à álgebra relacional. Secondo possui um ferramental que verifica a compatibilidade entre os operadores da ágebra relacional e os operadores sendo propostos. Além da verificação teórica, o ferramental do Secondo permite a efetivação dos novos operadores em um protótipo de sistema de banco de dados relacionais visando à validação prática do novo conjunto integrado de operadores. Experimentos mostraram, de fato, que o comportamento dos mesmos corresponde às expectativas em se trabalhar com dados de séries temporais ao mesmo tempo em que se opera com dados textuais operados com a álgebra relacional tradicional. Por fim, um caso real é apresentado e tratado com estes novos recursos, mostrando que os mesmos possuem uma aplicabilidade prática.

Abstract

This work presents a set of operators that may be used as an extension of a Relational Algebra as a method for optimizing the management of data derived from cientific experiments in the form of Time Series. The soundness and correctness of those operators are proved by a pratical implementation (prototype) that shows that the behavior of those operators actually correspond to the expectations. Finally, a real case study is presented and treated with those new tools, showing, at last, that they do present a practical benefit.

Topo