Identificação de genes em Chromobacterium violaceum relacionados à resposta ao estresse

The sequencing of the genome of Chromobacterium violaceum identified one single circular chromosome of 4.8 Mb, in which approximately 40% of the founded ORFs are classified as hypothetical conserved or hypothetical. Some genic regions of biotechnological and biological interest had been characterized, e. g., environmental detoxification and DNA repair genes, respectively. Given this fact, the aim of this work was to identify genes of C. violaceum related to stress response, as the ones involved with mechanisms of DNA repair and/or genomic integrity maintenance. For this, a genomic library of C. violaceum was built in Escherichia coli strain DH10B (RecA-), in which clones were tested to UVC resistance, resulting in five candidates clones. In the PLH6A clone were identified four ORFs (CV_3721 to 3724). Two ORFs, CV_3722 and CV_3724, were subcloned and a synergic complementation activity was observed. The occurrence of an operon was confirmed using cDNA from C. violaceum in a RT-PCR assay. Further, it was observed the induction of the operon after the treatment with UVC. Thus, this operon was related to the stress response in C. violaceum. The mutagenesis assay with rifampicin after the treatment with UVC light showed high frequency of mutagenicity for the ORF CV_3722 (Pol III δ subunit). In this way, we propose that the C. violaceum δ subunit can act in DH10B in the translesion synthesis using Pol IV in a RecA independent-manner pathway. In growth curve assays other four clones (PLE1G, PLE7B, PLE10B and PLE12H) were able to complement the function at the dose 5 J/m2 and in mutagenicity assays PLE7B, PLE10B and PLE12H showed frequencies of mutation with significant differences upon the control (DH10B), demonstrating that in some way they are involved with the stress response in C. violaceum. These clones appear to be interrelated, probably regulated by a messenger molecule (eg., nucleotide c-di-GMP) and/or global regulatory molecule (eg., σS subunit of RNA polymerase).The results obtained contribute for a better genetic knowledge of this specie and its response mechanisms to environmental stress.

Identificação de genes em Chromobacterium violaceum relacionados à resposta ao estresse

The sequencing of the genome of Chromobacterium violaceum identified one single circular chromosome of 4.8 Mb, in which approximately 40% of the founded ORFs are classified as hypothetical conserved or hypothetical. Some genic regions of biotechnological and biological interest had been characterized, e. g., environmental detoxification and DNA repair genes, respectively. Given this fact, the aim of this work was to identify genes of C. violaceum related to stress response, as the ones involved with mechanisms of DNA repair and/or genomic integrity maintenance. For this, a genomic library of C. violaceum was built in Escherichia coli strain DH10B (RecA-), in which clones were tested to UVC resistance, resulting in five candidates clones. In the PLH6A clone were identified four ORFs (CV_3721 to 3724). Two ORFs, CV_3722 and CV_3724, were subcloned and a synergic complementation activity was observed. The occurrence of an operon was confirmed using cDNA from C. violaceum in a RT-PCR assay. Further, it was observed the induction of the operon after the treatment with UVC. Thus, this operon was related to the stress response in C. violaceum. The mutagenesis assay with rifampicin after the treatment with UVC light showed high frequency of mutagenicity for the ORF CV_3722 (Pol III δ subunit). In this way, we propose that the C. violaceum δ subunit can act in DH10B in the translesion synthesis using Pol IV in a RecA independent-manner pathway. In growth curve assays other four clones (PLE1G, PLE7B, PLE10B and PLE12H) were able to complement the function at the dose 5 J/m2 and in mutagenicity assays PLE7B, PLE10B and PLE12H showed frequencies of mutation with significant differences upon the control (DH10B), demonstrating that in some way they are involved with the stress response in C. violaceum. These clones appear to be interrelated, probably regulated by a messenger molecule (eg., nucleotide c-di-GMP) and/or global regulatory molecule (eg., σS subunit of RNA polymerase).The results obtained contribute for a better genetic knowledge of this specie and its response mechanisms to environmental stress.

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados