Operadores Visando à Otimização de Precisão no Cálculo de Séries Temporais

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.