Retorno do investimento em marketing por empresas de telefonia móvel: uma avaliação das operadoras do Estado de São Paulo

Este estudo no setor de telefonia celular adapta o modelo de investimento de marketing de Rust, Lemon & Zeithaml (2004) fornecendo um método de avaliação de investimento em áreas estratégicas de marketing (value, brand e relationship equity). Aplicado às operadoras de telefonia celular do estado de São Paulo (Vivo, Claro e TIM), o modelo permite calcular a probabilidade de um cliente mudar da operadora atual para uma concorrente, e verificar se a contribuição marginal advinda de uma ação mercadológica ultrapassa ou não seu custo de capital. Finalmente, através da aplicação do modelo obtém-se uma estimativa do customer equity atual das três operadoras de telefonia celular estudadas.

Recuperação de águas de processos : desenvolvimento de um problema padrão

Atualmente, a consciência de que os recursos naturais são esgotáveis e que a geração de poluentes deve ser evitada para impedir um sério problema ambiental, são aspectos que já estão sendo considerados na indústria química. Isto se reflete em uma das principais preocupações enfrentadas por este setor: a minimização de efluentes. O presente trabalho tem por objetivo desenvolver um problema padrão na área de integração mássica para recuperação de água de processos, sugerindo uma metodologia que ajude a solucionar esta grande preocupação. O problema padrão proposto é suficientemente simples para sua rápida compreensão, e complexo o suficiente para representar uma típica situação industrial. Na metodologia empregada, técnicas de integração mássica como: reuso, reciclo e regeneração são utilizadas, alternativamente ao tratamento de final de tubulação, a fim de reduzir a demanda de água consumida e minimizar a quantidade de efluente líquido tratado e descartado. A síntese da rede de integração mássica foi feita através da construção de uma superestrutura, contendo todas as possíveis configurações em potencial para o sistema proposto. A solução do problema foi obtida via programação não linear mista inteira (MINLP). Um estudo comparativo entre as diversas configurações obtidas foi realizado. Uma análise da operabilidade das principais configurações da rede de integração mássica foi feita para garantir que a rede sintetizada seja operável.

Estudo da interface entre demanda de mercado e atendimento operacional

Esta pesquisa aborda a interface entre vendas e produção em operações fabris, procurando compreender melhor suas características sistêmicas e de transformação da informação estratégica, de atendimento a mercado, na informação operacional, de programação da fábrica. O uso de metodologia de enfoque sistêmico, em conjunto com revisão de literatura pertinente e levantamento de campo em seis empresas manufatureiras de (mix) alto de produtos operando em mercados diferentes permitiu a identificação de uma possibilidade de melhoria do processo de planejamento e programação comparado a como é descrito na bibliografia e como era operado nas empresas pesquisadas, com a adoção de variabilidade como parâmetro de entendimento e segregação entre produtos cujos perfis de demandas apresentam comportamentos diversos, mas que eventualmente podem estar debaixo de políticas e procedimentos únicos.

Implementação de mecanismo de sincronismo virtual: experiência com Java

Este trabalho relata as atividades de estudo, projeto e implementação de uma aplicação distribuída que explora mecanismos básicos empregados em comunicação de grupo. O estudo é focado no desenvolvimento e uso dos conceitos de sincronismo virtual e em resultados aplicáveis para tolerância a falhas. O objetivo deste trabalho é o de demonstrar as repercussões práticas das principais características do modelo de sincronismo virtual no suporte à tolerância a falhas. São preceitos básicos os conceitos e primitivas de sistemas distribuídos utilizando troca de mensagens, bem como as alternativas de programação embasadas no conceito de grupos. O resultado final corresponde a um sistema Cliente/Servidor, desenvolvido em Java RMI, para simular um sistema distribuído com visões de grupo atualizadas em função da ocorrência de eventos significativos na composição dos grupos (sincronismo virtual). O sistema apresenta tratamento a falhas para o colapso (crash) de processos, inclusive do servidor (coordenador do grupo), e permite a consulta a dados armazenados em diferentes servidores. Foi projetado e implementado em um ambiente Windows NT, com protocolo TCP/IP. O resultado final corresponde a um conjunto de classes que pode ser utilizado para o controle da composição de grupos (membership). O aplicativo desenvolvido neste trabalho disponibiliza seis serviços, que são: inclusão de novos membros no grupo, onde as visões de todos os membros são atualizadas já com a identificação do novo membro; envio de mensagens em multicast aos membros participantes do grupo; envio de mensagens em unicast para um membro específico do grupo; permite a saída voluntária de membros do grupo, fazendo a atualização da visão a todos os membros do grupo; monitoramento de defeitos; e visualização dos membros participantes do grupo. Um destaque deve ser dado ao tratamento da suspeita de defeito do coordenador do grupo: se o mesmo sofrer um colapso, o membro mais antigo ativo é designado como o novo coordenador, e todos os membros do grupo são atualizados sobre a situação atual quanto à coordenação do grupo.

Otimização topológica de estruturas contínuas submetidas a restrições de flexibilidade, volume e frequência natural

Este trabalho trata dos problemas de otimização de minimização de volume com restrição de flexibilidade e freqüência natural e minimização de flexibilidade com restrição de volume. Os problemas são resolvidos para estruturas bidimensionais e tridimensionais. As equações diferenciais de equilíbrio são solucionadas de forma aproximada através do método dos elementos finitos, em um subespaço de dimensão finita. O método utilizado no estudo é o da otimização topológica, o qual consiste em encontrar dentro de um domínio pré-existente uma distribuição ideal de material. São avaliadas técnicas como programação linear e critério de ótimo. Em ambos os casos são utilizadas sensibilidades calculadas analiticamente. Para a otimização com restrição modal, problemas característicos como autovalores repetidos e normalização do autovetor são tratados. Ferramentas usadas na otimização topológica, como método da continuação, penalização e filtragem são discutidos. São abordados também problemas e características inerentes ao processo de otimização topológica, tais como instabilidades de tabuleiros, dependência de malha e sensibilidade da topologia a diferentes condições de contorno. Os resultados obtidos permitem avaliações referentes à otimização topológica (geometrias, ou seja, topologias resultantes) sob diferentes condições, utilizando-se as ferramentas discutidas nesse trabalho.

Injeção distribuída de falhas para validação de dependabilidade de sistemas distribuídos de larga escala

Uma etapa fundamental no desenvolvimento de sistemas tolerantes a falhas é a fase de validação, onde é verificado se o sistema está reagindo de maneira correta à ocorrência de falhas. Uma das técnicas usadas para validar experimentalmente um sistema é injeção de falhas. O recente uso de sistemas largamente distribuídos para execução dos mais diversos tipos de aplicações, faz com que novas técnicas para validação de mecanismos de tolerância a falhas sejam desenvolvidas considerando este novo cenário. Injeção de falhas no sistema de comunicação do nodo é uma técnica tradicional para a validação de aplicações distribuídas, para forçar a ativação dos mecanismos de detecção e recuperação de erros relacionados à troca de mensagens. A condução de experimentos com injetores de comunicação tradicionais é feita pelo uso do injetor em uma máquina do sistema distribuído. Se o cenário desejado é de múltiplas falhas, o injetor deve ser instanciado independentemente nas n máquinas que as falhas serão injetadas. O controle de cada injetor é individual, o que dificulta a realização do experimento. Esta dificuldade aumenta significativamente se o cenário for um sistema distribuído de larga escala. Outro problema a considerar é a ausência de ferramentas apropriadas para a emulação de determinados cenários de falhas. Em aplicações distribuídas de larga escala, um tipo comum de falha é o particionamento de rede. Não há ferramentas que permitam diretamente a validação ou a verificação do processo de defeito de aplicações distribuídas quando ocorre um particionamento de rede Este trabalho apresenta o estudo de uma abordagem para injeção de falhas que permita o teste de atributos de dependabilidade de aplicações distribuídas de pequena e larga escala implementadas em Java. A abordagem considera a não obrigatoriedade da alteração do código da aplicação sob teste; a emulação de um cenário de falhas múltiplas que ocorrem em diferentes nodos, permitindo o controle centralizado do experimento; a validação de aplicações que executem em sistemas distribuídos de larga escala e consideram um modelo de falhas realista deste tipo de ambiente, incluindo particionamentos de rede. A viabilidade da abordagem proposta é mostrada através do desenvolvimento do protótipo chamado FIONA (Fault Injector Oriented to Network Applications), o qual atualmente injeta falhas em aplicações desenvolvidas sob o protocolo UDP.

Regras monetárias e taxa de câmbio para o regime de meta de inflação brasileiro

O objetivo desta dissertação é analisar o uso de regras ótimas irrestritas e de regras simples restritas de política monetária para a economia brasileira, com especial atenção ao impacto da taxa de câmbio na transmissão da política monetária. As regras foram encontradas através de um processo de programação dinâmica e comparadas em termos da eficiência econômica de cada uma, medida pela redução da variância do produto e da inflação. Estes resultados serviram de referência para avaliar o desempenho do regime de metas de inflação no Brasil, desde a sua implementação em julho de 1999.

Competição e entrada de empresas de TV por assinatura em municípios brasileiros

O objetivo dessa dissertação é analisar a concorrência no serviço de TV por assinatura, no Brasil, destacando as decisões de entrada. Com os avanços tecnológicos, da última década, as empresas de TV por Assinatura tornaram-se capazes de enviar quaisquer informações por meio dos cabos (TV, banda larga, telefonia) e a comercializar os pacotes “combos” (cesta com os três serviços) modificando a concorrência no setor. Nesse trabalho, estimou-se o tamanho mínimo de um mercado para as empresas de TV por Assinatura, de Banda Larga e empresas “combo” prestarem seus serviços, sob duas hipóteses: mercados independentes e mercados inter-relacionados. Os resultados da parte empírica revelam o pequeno tamanho do mercado doméstico brasileiro: 94,4% dos municípios do Brasil não possuem atratividade econômica para a entrada de empresas de Banda Larga ou de TV a Cabo. Quando assumimos a existência de mercados relacionados, o fornecimento de banda larga ou de TV por Assinatura por um concorrente beneficia a entrada de uma empresa “combo”. Os produtos separados seriam um chamariz para o produto mais sofisticado. Outro resultado é que a entrada de duas empresas de produtos “combo” ocorre mais facilmente que a entrada de duas empresas de TV por Assinatura – o que também foi encontrado em um estudo norte-americano para o mercado dos EUA.

Entrando em um novo mercado : estudo do caso Gol utilizando-se opções reais e teoria dos jogos

O trabalho tem como objetivo criar um modelo de avaliação de investimentos para a entrada em um novo mercado que possua duas características fundamentais: que considere a possibilidade de aumentar ou reduzir o projeto ao longo da sua implementação e que incorpore a decisão estratégica através da modelagem de um cenário competitivo, onde os concorrentes reagem à ameaça de um novo participante. Para ressaltarmos as vantagens dessa nova abordagem de avaliação de investimentos, os modelos tradicionais mais utilizados são analisados brevemente, ressaltando os seus pontos fortes e fracos. Em seguida, explicamos como o modelo de avaliação por opções reais consegue aprimorar avaliação através da análise dos cenários possíveis e das flexibilidades envolvidas. Com a teoria dos jogos, mostramos como a interação de participantes de um mercado pode ser sistematizada e analisada de maneira formal. O modelo é então demonstrado passo-a-passo, mostrando como devemos tratar os jogos estratégicos em um ambiente de duopólio, determinar o preço de equilíbrio do mercado, o lucro esperado para os participantes, o valor do investimento e criar a árvore binomial que determinará o valor final do processo de avaliação. Através da análise da árvore binomial resultante, é possível também verificar qual foi o tipo de estratégia dominante, seja o investimento simultâneo caracterizando um equilíbrio de Bertrand ou um movimento seqüencial, resultando em um equilíbrio de Stackelberg. Por fim, a estratégia de investimento escolhida é associada a alternativas de entrada no mercado, onde podemos comprar a empresa de um concorrente já estabelecido ou construir o novo negócio desde o começo. Ao final do trabalho, com base no modelo proposto, é apresentado um estudo de caso, onde é feita uma análise de entrada de uma nova empresa em um mercado com concorrentes bem estabelecidos, que poderá indicar pela construção e estabelecimento no mercado desde o início ou pela compra de um concorrente já estabelecido. Para esse estudo foi escolhida a companhia aérea Gol Linhas Aéreas como novo entrante no mercado doméstico de transporte aéreo de passageiros.

Qualidade de vida em idosos desenvolvimento e aplicação do módulo WHOQOL-OLD e teste do desempenho do instrumento WHOQOL-BREF em uma população idosa brasileira

Introdução: A presente dissertação de mestrado tem como foco a investigação de qualidade de vida em idosos. Não somente à expectativa de vida e à morbi-mortalidade, o interesse científico tem-se voltado a conferir qualidade aos anos de vida de uma população de idosos crescente em países desenvolvidos e em desenvolvimento. A definição do construto qualidade de vida não desfruta de consenso até o momento. Entretanto, é consensual que a população de idosos apresenta particularidades que, por conseguinte, se refletem na conceituação de qualidade de vida e na determinação de quais fatores contribuem para sua composição. Entretanto, diversos instrumentos utilizados em estudos de qualidade de vida em idosos não abrangem tais especificidades ou não apresentam propriedades psicométricas adequadamente testadas para esta população. Objetivos: Os objetivos principais desta dissertação são dois. Primeiramente, desenvolver a versão em português do módulo de aferição de qualidade de vida em idosos da Organização Mundial de Saúde WHOQOL-OLD e descrever suas propriedades psicométricas em uma amostra de idosos brasileiros. Em segundo lugar, realizar a testagem do desempenho psicométrico do instrumento genérico de avaliação de qualidade de vida WHOQOL-BREF, originalmente gerado em uma população de adultos não-idosos e crescentemente utilizado em investigações geriátricas. Método: 424 sujeitos com idade igual ou superior a 60 anos foram entrevistados, completando uma ficha de dados sócio-demográficos, os instrumentos WHOQOL-BREF, Inventário de Depressão de Beck (BDI), Escala de Desesperança de Beck (BHS) e o módulo WHOQOL-OLD. A uma subamostra de 51 sujeitos foi aplicado o Módulo WHOQOL-OLD após duas semanas. Resultados: A amostra foi constituída predominantemente de mulheres (64,2%), de sujeitos vivendo na comunidade (84,4%) e de sujeitos que se consideram saudáveis (67,5%). O Módulo WHOQOL-OLD é composto por seis facetas e 24 itens, gerando escores em cada uma das facetas e um escore geral (overall). Os coeficientes de Cronbach indicam que todas as facetas e o conjunto de itens apresentam fidedignidade satisfatória, variando de 0,710 (faceta autonomia) a 0,885 (overall). As seis facetas e o escore overall mostram-se capazes de discriminar os idosos com diferentes níveis de depressão, bem como os que se percebem saudáveis daqueles que se percebem doentes. A validade concorrente, aferida através da correlação dos escores com os de sintomatologia depressiva e de desesperança, apresenta significância estatística. A comparação das médias dos escores do teste e reteste não indica diferenças, atestando a estabilidade do instrumento. Em relação ao desempenho do instrumento WHOQOL-BREF, todos seus quatro domínios demonstraram-se capazes de discriminar níveis de sintomas depressivos e de desesperança, bem como diferentes percepções de estado de saúde. Os coeficientes de correlação entre os domínios e os escores do BDI e BHS apresentaram significância estatística. Os coeficientes de fidedignidade de Cronbach assumem valores que variam de 0,614 (domínio relações sociais) a 0,925(conjunto de 26 itens). Em relação à validade de critério, O domínio Relações Sociais não apresentou significância estatística no modelo proposto de regressão linear múltipla (p=0,061). Os domínios físico, psicológico e de meio-ambiente explicam 64,7% da variância do escore global, constituído por dois itens de qualidade de vida geral.Conclusão: O módulo WHOQOL-OLD representa uma ferramenta adicional aos questionários genéricos de qualidade de vida WHOQOL-100 ou WHOQOL-BREF como uma alternativa útil na investigação de qualidade de vida de idosos, abrangendo aspectos relevantes e não abordados nos instrumentos desenhados originalmente para populações não-idosas. A testagem do desempenho psicométrico do instrumento WHOQOL-BREF demonstrou que este apresenta consistência interna, validade concorrente, validade discriminante e validade de critério satisfatórias em uma amostra de idosos brasileiros. Seus itens foram analisados previamente em grupos focais, em relação ao conteúdo e fraseamento, tendo sido considerados pelos idosos como relevantes para a aferição de qualidade de vida e de fácil entendimento. Assim sendo, o WHOQOL-BREF apresenta características que o colocam como um instrumento genérico de aferição de qualidade de vida com adequado desempenho psicométrico testado em idosos.

Sistemas dopaminérgicos e ação antipsicótica : abordagens experimentais e teóricas

Os objetivos da presente tese de doutorado foram os de buscar novos antipsicóticos atípicos de baixo preço comercial e também procurar entender o mecanismo de ação que leva a um perfil antipsicótico atípico. Os resultados da tese são divididos em duas partes, de acordo com sua natureza, em experimentais (primeira parte) e teóricos (segunda parte). Para o desenvolvimento da primeira parte, foi necessária primeiramente a programação de um software para medir locomoção em roedores após filmagem com webcam. A seguir, foram investigados os efeitos da guanosina, flunarizina e cinarizina em modelos animais de psicose, bem como em outros paradigmas comportamentais. A guanosina foi escolhida para estudo uma vez que tem se mostrado que ela interage com o sistema glutamatérgico – que sabidamente está envolvido na fisiopatologia da esquizofrenia – promovendo a captação astrocitária de glutamato. Já a flunarizina e a cinarizina, dois bloqueadores de canal de cálcio empregados para tratar enxaqueca e vertigem foram escolhidas pelo fato delas produzirem sinais e sintomas extrapiramidais em pacientes idosos, o que posteriormente foi relacionado às suas propriedades como antagonistas moderados dos receptores dopaminérgicos do tipo D2 A guanosina diminuiu o aumento de locomoção induzido por um antagonista NMDA (MK-801), enquanto que não apresentou efeito sobre o aumento de locomoção induzido por anfetamina, de forma que sua utilidade como potencial antipsicótico deve ser ainda melhor estudada. Tanto a flunarizina quanto a cinarizina foram capazes de diminuir o aumento de locomoção induzido por MK-801 e por anfetamina em doses que não causam efeitos catalépticos importantes. Portanto, foi concluído que estes dois compostos apresentam um potencial perfil de antipsicótico atípico, com as vantagens de já estarem disponíveis para uso comercial, boa tolerabilidade e baixo custo quando comparados com os antipsicóticos atípicos disponíveis comercial. A segunda parte da tese apresenta alguns resultados teóricos matemáticos que podem ser derivados da teoria da lei de ação das massas aplicada ao binding de receptores, utilizando também resultados experimentais já conhecidos de PET Estes resultados apresentam insights ao entendimento das diferenças entre os perfis antipsicóticos atípicos e típicos em relação à geração de sinais extrapiramidais. É discutido que fatores culturais e comerciais relacionados à posologia atual empregada no tratamento com antipsicóticos típicos podem ser os responsáveis pelas diferenças de perfis, uma vez que alguns deles são prescritos em doses proporcionalmente maiores em relação à sua afinidade, atingindo assim maiores níveis de bloqueio dopaminérgico no estriado. Uma curta meia-vida plasmática também é apontada como um possível parâmetro importante na geração de um perfil atípico. É mostrado ainda alguns erros de concepção relacionados ao curso temporal da ocupação dopaminérgica que tem sido atualmente cometidos na literatura científica, como o conceito de meia-vida de ocupação de receptores. Como um último resultado teórico, é proposto um algoritmo para a redução de dose em pacientes tratados com antipsicóticos apresentando sinais e sintomas extrapiramidais.

Escritório central de projetos interdisciplinares

A FGV Projetos desenvolve e implanta escritórios que atendam à necessidade de uma estrutura de governança específica com procedimentos de controle, utilização de ferramentas de gestão, tratamento e escalonamento rápido de problemas e riscos, gestão de documentação oficial e programação das apresentações do status de andamento para todos os níveis hierárquicos envolvidos nos projetos.

Otimização topológica de transdutores piezelétricos considerando não-linearidade geométrica

Este trabalho aborda o projeto otimizado de transdutores eletro-mecânicos baseados no fenô- meno da piezeletricidade e submetidos a não-linearidade geométrica. Para este m, é proposta uma formulação de equilíbrio para descrever o movimento nito de um corpo piezelétrico e a sua discretização por meio do método dos Elementos Finitos. Problemas de equilíbrio com pontos limites podem ser corretamente simulados com a abordagem de solução proposta, pois questões como a imposição de comprimento de arco em problemas acoplados são discutidas. Diferentes métodos de controle de arco são discutidos e é proposta a consideração do método dos Deslocamentos Generalizados como um tipo de controle de comprimento de arco da família das restrições ortogonais. A formulação de otimização proposta consiste na maximização de componentes do vetor de estado de alguns pontos da estrutura (portas de saída) com restrição de volume e valores de algumas posições do vetor de estado. A análise de sensibilidade proposta, baseada na abordagem adjunta, é su cientemente geral para permitir o projeto de atuadores e sensores e permite a aplicação de condições de contorno essenciais não-homogêneas, como é o caso da diferença de potencial. O método das Assíntotas Móveis Generalizadas (GMMA) é utilizado conjuntamente com a tradicional Programação Linear Sequencial (SLP) para a solução do problema de otimização e suas implementações são discutidas em detalhes. Resultados mostrando a in uência da não-linearidade geométrica e/ou rigidez externa nãolinear no projeto de transdutores piezelétricos são apresentados e discutidos.

O rádio como espaço de visibilidade política : (governo da Frente Popular em Porto Alegre 1989/1990

Esta é uma pesquisa sobre mídia e política que aborda o uso do rádio pelo governo da Frente Popular em Porto Alegre, no período entre abril de 1989 e setembro de 1990. É um estudo de caso que trata do sistema de monitoração de rádio adotado pelo governo da Frente Popular em seis emissoras de rádio ( Gaúcha, Guaíba, Farroupilha, Princesa, Bandeirantes e Pampa) durante 24 horas. Defende-se a tese de que o governo da Frente Popular, em Porto Alegre, ao responder aos ouvintes, apropriou-se de um lugar específico da mídia para dar visibilidade ao seu projeto político de esquerda constituindo um novo cenário da disputa política. Com esta estratégia de responder a interpelação dos ouvintes, a Frente Popular pautou a mídia e provocou uma alteração nos critérios de noticiabilidade no rádio ao mesmo tempo em que estabeleceu um controle da programação das emissoras. Os objetivos do estudo são verificar se a estratégia de Comunicação da Prefeitura Municipal de Porto Alegre de controlar as demandas dos cidadãos, através do rádio, resulta em créditos político; entender como, em uma sociedade dominada pela informação, produto de grandes empresas de comunicação, consegue ser seduzida pela estratégia política de um governo; compreender a eficácia do rádio como instrumento de uso político de governos democráticos; reafirmar que a pesquisa de campo, que leva em conta a prática e a observação dos cidadãos comuns e seu cotidiano, é a base para todo e qualquer estudo sobre a ação da comunicação, especialmente, do jornalismo na sociedade. O governo da Frente Popular através das diferentes secretarias e autarquias respondia aos ouvintes, prometendo executar o serviço no espaço da própria emissora que havia veiculado a reclamação. Esta trama entre rádio, ouvinte e governo resulta no fortalecimento do projeto político da Frente Popular.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.