From XML to relational view updates: applying old solutions to solve a new problem

XML has become an important medium for data exchange, and is frequently used as an interface to - i.e. a view of - a relational database. Although lots of work have been done on querying relational databases through XML views, the problem of updating relational databases through XML views has not received much attention. In this work, we give the rst steps towards solving this problem. Using query trees to capture the notions of selection, projection, nesting, grouping, and heterogeneous sets found throughout most XML query languages, we show how XML views expressed using query trees can be mapped to a set of corresponding relational views. Thus, we transform the problem of updating relational databases through XML views into a classical problem of updating relational databases through relational views. We then show how updates on the XML view are mapped to updates on the corresponding relational views. Existing work on updating relational views can then be leveraged to determine whether or not the relational views are updatable with respect to the relational updates, and if so, to translate the updates to the underlying relational database. Since query trees are a formal characterization of view de nition queries, they are not well suited for end-users. We then investigate how a subset of XQuery can be used as a top level language, and show how query trees can be used as an intermediate representation of view de nitions expressed in this subset.

Expressão do VEGFR-2 em polpas de dentes decíduos e permanentes jovens humanos

O conhecimento dos mecanismos celulares envolvidos nos fenômenos orgânicos fisiológicos e/ou patológicos, poderá conduzir a diagnósticos clínicos mais precisos, tratamentos mais direcionados e prognósticos mais favoráveis. Considerando esta premissa, foi objetivo deste estudo avaliar por meio de reação imunohistoquímica a presença ou ausência do vascular endothelial growth factor receptor-2 (VEGFR-2) em células endoteliais pulpares de dentes decíduos e permanentes jovens humanos, assim como a distribuição da sua imuno-marcação. A amostra foi constituída de nove dentes decíduos e quatro dentes permanentes jovens, selecionados de indivíduos de ambos os sexos, com idade entre 5 e 10 anos e 11 e 14 anos, respectivamente. Os espécimes foram fixados em formol diluído a 10% com tampão fosfato 0,1 M por 24 horas e descalcificados com solução de Ana Morse. Após, os mesmos foram processados e incluídos em parafina. Realizaram-se cortes de 5 µm de espessura. Uma lâmina de cada amostra foi corada pela técnica de hematoxilina e eosina (H&E) para análise histológica e as demais foram submetidas à reação imunohistoquímica enzimática. Nesta, utilizou-se como anticorpo primário o anti-h VEGFR-2 na diluição de 1:100 e anticorpo secundário biotinilado na diluição/proporção pré-estabelecidas pelo fabricante. Após o processamento das lâminas, os campos microscópicos mais significativos foram capturados e analisados qualitativamente quanto à presença ou ausência do VEGFR-2 nas células endoteliais pulpares, assim como à distribuição da imuno-marcação Os resultados observados mostraram que tanto os dentes decíduos quanto os dentes permanentes jovens apresentaram, especificamente, as células endoteliais pulpares imuno-marcadas para o VEGFR-2. Entretanto, verificou-se que nem todas apresentaram a mesma distribuição de marcação, sendo esta nos dentes decíduos mais evidente próxima à região subodontoblástica. As células endoteliais da polpa dos dentes permanentes jovens demonstraram no mesmo espécime estudado, ausência e presença de marcação endotelial, entretanto esta se apresentou de forma mais uniforme. Levando-se em consideração as limitações encontradas neste estudo, sugere-se que os dentes decíduos apresentam uma capacidade de resposta maior das células endoteliais pulpares ao anti-h VEGFR-2 quando comparados aos dentes permanentes.

ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.

Consultando XML por meio de modelos conceituais : extensão e formalização de CXPath

Com o objetivo de realizar consultas em diferentes fontes XML,é necessário que se escreva uma consulta específica para cada fonte XML. Uma solução mais adequada é fazer uma única consulta sobre um esquema conceitual e então traduzi-la automaticamente para consultas XML para cada fonte XML específica. CXPath é uma linguagem de consulta que foi proposta para consultar dados em nıvel conceitual. Este trabalho tem como objetivos formalizar a linguagem existente, estendê-la para permitir consultas que utilizem o conceito de herança e estender o mecanismo de tradução de consultas. A formalização da linguagem é feita por meio de um conjunto de regras que definem formalmente um critério para validar uma consulta escrita nessa linguagem sobre um esquema conceitual. Essa formalização permite estender a linguagem para que ela passe a tratar os relacionamentos de herança e especialização. Outra contribuição dessa formalização é que ela apresenta o primeiro passo rumo à verificação formal de que a avaliação da consulta global traz os mesmos resultados obtidos pela avaliação da consulta resultante do processo de mapeamento de consultas proposto. A extensão do mecanismo de tradução de consultas é necessária para traduzir relacionamentos representados no modelo conceitual para junções nas fontes de dados XML. Tal aspecto é fundamental para permitir a construção de modelos conceituais com relacionamentos semânticos e que não dependam de relacionamentos físicos existentes nos documentos fontes, mas apenas de junções tal como é feito em bases de dados relacionais.

Evolução de documentos XML com tempo e versões

A utilização de conceitos de representação temporal tem sido essencial em diversas aplicações de banco de dados, por permitir o armazenamento e a manipulação dos diferentes estados assumidos pela base de dados ao longo do tempo. Durante a evolução da base de dados, através do conceito de bitemporalidade, obtém-se acesso a informações presentes, passadas e futuras. Já o conceito de versionamento permite a existência de diversas alternativas para a evolução da base de dados, possibilitando um processo de evolução ramificada, em oposição ao usual mecanismo de evolução linear do conteúdo da base. Com a migração de tais aplicações para um ambiente Web, estas passam cada vez mais a utilizar a linguagem XML como formato de representação e intercâmbio de seus dados. Tornam-se necessários, dessa forma, mecanismos para a representação e manipulação da história do conteúdo de um documento XML que sofre modificações com o passar do tempo. Apesar da existência de propostas de extensão temporal de modelos de dados convencionais e de estratégias para o armazenamento de documentos XML em modelos convencionais, a natureza semi-estruturada dos documentos XML faz com que seja necessário definir um novo modelo de dados temporal, capaz de lidar com os conceitos de bitemporalidade e versionamento em um documento semiestruturado. O objetivo deste trabalho é definir um modelo que, ao contrário das demais propostas existentes, combine os conceitos de bitemporalidade e de versionamento em uma única abordagem capaz de permitir o tratamento da evolução do conteúdo de documentos XML. O uso conjunto desses dois recursos visa combinar o poder de expressão de cada um, garantindo uma maior flexibilidade na representação do histórico dos documentos XML. O modelo resultante recebeu o nome de Tempo e Versões em XML, ou simplesmente TVX, composto por três partes: um modelo para a organização lógica dos dados, uma linguagem de consulta e uma linguagem para promover alterações ao conteúdo dos documentos XML.

Caracterização dos neurônios envolvidos na ventilação pulmonar de Megalobulimus abbreviatus (Gastropoda: Pulmonata)

O uso de moluscos gastrópodes para estudos neurobiológicos é vantajoso porque seu sistema nervoso e comportamentos são intermediários em complexidade quando comparados a outros animais. Os padrões de atividade derivados do sistema nervoso central (SNC) são modulados por informações periféricas provenientes de vários quimio e mecanorreceptores, os quais desempenham funções importantes na manutenção da homeostase interna. Assim, juntos, elementos centrais e periféricos permitem ao animal modular seu comportamento respiratório de acordo com suas demandas metabólicas. O objetivo deste trabalho originou-se da necessidade da compreensão da atividade respiratória do caracol pulmonado terrestre Megalobulimus abbreviatus, da identificação dos neurônios do sistema nervoso central envolvidos no seu controle, bem como da organização da inervação de uma estrutura-chave envolvida no comportamento respiratório deste animal, o pneumóstoma. Realizou-se a identificação dos neurônios do SNC que controlam o pneumóstoma através de marcação retrógrada pelo nervo parietal posterior direito com cloreto de cobalto e biocitina; a descrição da morfologia e da histologia da região do pneumóstoma, assim como a análise da presença de monoaminas (método do ácido glioxílico), atividade acetilcolinesterásica (AChE, técnica de Karnovsky & Roots) e de imunorreatividade a FMRF-amida (imunoistoquímica) nesta região. Também foi realizada a investigação sobre uma provável relação entre o sistema dopaminérgico, serotoninérgico e peptidérgico (FMRF-amida) com os neurônios identificados por marcação retrógrada nos gânglios nervosos centrais, através da comparação entre os neurônios retrogradamente marcados com neurônios imunorreativos à tirosina hidroxilase (TH), serotonina (5-HT) e FMRF-amida. Neurônios retrogradamente marcados foram encontrados nos gânglios pedais, pleural direito, parietal direito e visceral. Encontrou-se na superfície do tegumento do pneumóstoma um epitélio constituído de uma única camada de células cilíndricas, com microvilosidades ou cílios como terminação apical, envolvido por uma camada muscular bem desenvolvida. Foi possível verificar que a organização da inervação na região do pneumóstoma está constituída de uma rede neural para suprir a camada muscular e ramos neurais mais finos que estão mais densamente distribuídos em um plexo na camada epitelial e subepitelial adjacente, onde corpos celulares neuronais foram identificados (catecolaminérgicos ou com atividade AChE). A análise do padrão de inervação do pneumóstoma, juntamente com os dados da comparação entre neurônios retrogradamente marcados e imunorreativos no SNC, permitiu concluir-se que o neuropeptídeo FMRF-amida parece ter uma grande importância na regulação motora da região do pneumóstoma, assim como a 5-HT, que provavelmente possui uma função motora ou modulatória nesta região, enquanto que a participação da dopamina no controle respiratório deve ser principalmente sensorial, responsável pelas informações provindas do tegumento do pneumóstoma.

Sistema de validação temporal para redes de barramentos de campo

Aplicações recentes no setor de automação industrial utilizam barramentos de campo para prover comunicação entre dispositivos. Estas aplicações normalmente exigem que os barramentos apresentem suporte tempo real. A garantia do adequado atendimento a requisitos temporais restritos é de fundamental importância para o correto funcionamento do sistema. Este documento apresenta um sistema de validação temporal para aplicações desenvolvidas utilizando tecnologias de barramentos de campo. O sistema desenvolvido, chamado BR-Tool, permite monitoração em tempo de execução de uma rede de barramento de campo, confrontando os dados obtidos com requisitos temporais previamente definidos pelo operador. O sistema BR-Tool é composto por dois elementos: um sub-sistema de aquisição de mensagens (placa de aquisição) e um sub-sistema de validação (ferramenta computacional). A placa de aquisição foi especialmente projetada para operar com diferentes interfaces de barramentos de campo, realizando as tarefas de captura de eventos, marcação temporal e salvamento de um histórico de eventos. A ferramenta de validação, que roda no computador, realiza as tarefas de filtragem de eventos, especificação de requisitos e validação temporal, permitindo diversos modos de visualização dos resultados. A comunicação entre a placa de aquisição e a ferramenta de validação é implementada por uma interface PCI, permitindo operar com velocidades de até 12Mbps.

Caracterização patológica e imunoistoquímica da infecção pelo vírus da diarréia viral bovina

Foram testadas na imunoistoquímica (IHQ) para diarréia viral bovina (BVDV) 654 biópsias de tecidos cutâneos da orelha de bovinos e tecidos de 161 fetos bovinos abortados. Concomitantemente, foram avaliados pela necropsia, histologia e IHQ 19 casos ocorridos entre janeiro de 1996 e dezembro de 2003 e dois casos acompanhados entre janeiro de 2004 e agosto de 2005, remetidos ao Setor de Patologia Veterinária (SPV) da Universidade Federal do Rio Grande do Sul. No total, duas biópsias, seis bovinos e três fetos bovinos abortados apresentaram antígenos do BVDV na IHQ. As lesões macroscópicas desses animais ocorreram principalmente no trato digestivo, como enterite e ulcerações na cavidade oral, gengiva e língua. Atrofia de timo e linfadenomegalia também foram observadas. Histologicamente, hiperplasia linfóide e perda da estrutura folicular nos linfonodos, necrose das placas de Peyer, gliose e neuronofagia (cérebro) e nefrite e degeneração tubular renal foram algumas das lesões observadas. Na IHQ a marcação positiva do antígeno viral foi evidenciada principalmente na pele, cérebro, cerebelo, intestino delgado, linfonodos e baço. A prevalência de casos de BVDV em bovinos representou 23,8% do total de 21 bovinos suspeitos necropsiados entre janeiro de 1996 a agosto de 2005 e 1,86% dos fetos abortados examinados entre junho 1999 e maio 2004 no SPV-UFRGS.

Análise quantitativa das AgNORs e expressão do Epidermal Growth Factor Receptor (EGFR) em ameloblastomas

AgNORs, e expressão do Epidermal Growth Factor Receptor (EGFR) em células epiteliais de ameloblastomas. Onze casos de ameloblastomas foram submetidos à técnica de hematoxilina e eosina, para análise morfológica; à técnica de impregnação com prata para quantificação das AgNORs e à marcação com anticorpo anti-Epidermal Growth Factor Receptor. Os resultados não revelaram diferenças estatisticamente significativas quanto à quantificação das AgNORs. A expressão do EGFR nas ilhas epiteliais de ameloblastoma não se mostrou uniforme, sendo possível identificar ilhas marcadas e ilhas sem marcação. A localização da marcação também foi variável nas diferentes ilhas epiteliais, sendo a marcação predominante a de citoplasma e raras as de membrana, essas geralmente eram nas ilhas epiteliais de menor tamanho. Concluiu-se que o tumor apresenta um crescimento irregular, com as ilhas de menor tamanho podendo estar associadas a uma maior atividade proliferativa, contribuindo para a infiltração do tumor.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.