Contingência e análise infinita : estudo sobre o lugar do princípio de continuidade na filosofia de Leibniz

Resumo não disponível.

Um Mecanismo de notificação e propagação de mudanças para um modelo de versões

Um dos requisitos naturais na modelagem de diversas aplicações na área de banco de dados é a utilização de um mecanismo para controle de versões. Esse mecanismo fornece suporte a um processo evolutivo. Tal suporte permite armazenar os diferentes estágios de uma entidade em tempos distintos, ou sob diferentes pontos de vista. Estudos recentes nessa área mostram a importância de incorporar ao modelo conceitual de banco de dados, um mecanismo para auxiliar no controle da evolução de versões. A evolução de versões apresenta problemas principalmente quando ocorre em uma hierarquia de composição. Por exemplo, se existem objetos compostos fazendo referência à objetos componentes que representam versões, então modificações nos componentes podem causar alterações nos objetos que os referenciam. Normalmente as ações relativas a essas modificações são a notificação ou a propagação de mudanças. Algumas propostas adicionam mecanismos de notificação e propagação ao modelo conceitual utilizado por aplicações não convencionais. Isso é importante porque mecanismos deste tipo auxiliam no controle da integridade de dados e na divulgação de informações sobre as mudanças realizadas no banco de dados. O objetivo do trabalho aqui descrito é apresentar um mecanismo de notificação e propagação, que trata da evolução de dados, para um modelo de versões. É definido um modelo de classes com propriedades e operações que permitem manter e manipular subscrições de eventos referentes à evolução de objetos e versões e reagir diante da ocorrência destes eventos. Para atender os requisitos das diferentes aplicações, esta proposta especifica três estratégias. Cada uma delas apresenta diferentes funcionalidades: notificação ativa (enviar mensagens sobre mudanças ocorridas); notificação passiva (armazenar informações sobre mudanças ocorridas) e propagação (alterar o conteúdo do banco de dados automaticamente). Para validar o mecanismo proposto, uma implementação é apresentada para o sistema Oracle 8.

Ratos tratados com dieta cetogênica apresentam aumento de tecido adiposo mediado pela elevação da atividade da fosfoenolpiruvato carboxicinase

A Dieta Cetogênica é caracterizada pelo alto teor de gordura e baixo teor de carboidratos e proteínas, e tem sido proposta como benéfica em crianças com desordens epiléticas que não respondem ao tratamento convencional de drogas anti-epiléticas. O retardo de crescimento é um importante inconveniente desta dieta e as causas metabólicas ainda não estão bem caracterizadas. O objetivo desse estudo é examinar a variação de peso corporal e de tecido adiposo de ratos Wistar tratados com a dieta cetogênica durante 6 semanas, e a atividade da fração citosólica da enzima fosfoenolpiruvato carboxicinase (PEPCK) no tecido adiposo. Os ratos alimentados com a dieta cetogênica apresentaram uma diminuição do peso corporal, mas um significante aumento de tecido adiposo. A razão tecido adiposo/peso corporal apresentou diferenças entre os ratos cetogênicos e os controles já na primeira semana de tratamento, cerca de 2 vezes maior nos ratos cetogênicos. A lipogênese visceral foi mantida por um aumento na atividade da PEPCK, objetivando o fornecimento de glicerol-3- fosfato para a síntese de triacilglicerol e este acúmulo de gordura foi acompanhado por intolerância à glicose. Não foram observadas mudanças na glicemia e lipidemia basais. Estes dados contribuem para o entendimento dos efeitos metabólicos da dieta cetogênica e sugere alguns riscos potenciais desta dieta.