O casamento entre esquemas XML e esquemas relacionais é necessário em diversas aplicações, tais como integração de informação e intercâmbio de dados. Tipicamente o casamento de esquemas é um processo manual, talvez suportado por uma interface grá ca. No entanto, o casamento manual de esquemas muito grandes é um processo dispendioso e sujeito a erros. Disto surge a necessidade de técnicas (semi)-automáticas de casamento de esquemas que auxiliem o usuário fornecendo sugestões de casamento, dessa forma reduzindo o esforço manual aplicado nesta tarefa. Apesar deste tema já ter sido estudado na literatura, o casamento entre esquemas XML e esquemas relacionais é ainda um tema em aberto. Isto porque os trabalhos existentes ou se aplicam para esquemas de nidos no mesmo modelo, ou são genéricos demais para o problema em questão. O objetivo desta dissertação é o desenvolvimento de técnicas especí cas para o casamento de esquemas XML e esquemas relacionais. Tais técnicas exploram as particularidades existentes entre estes esquemas para inferir valores de similaridade entre eles. As técnicas propostas são avaliadas através de experimentos com esquemas do mundo real. / The matching between XML schemas and relational schemas has many applications, such as information integration and data exchange. Typically, schema matching is done manually by domain experts, sometimes using a graphical tool. However, the matching of large schemas is a time consuming and error-prone task. The use of (semi-)automatic schema matching techniques can help the user in nding the correct matches, thereby reducing his labor. The schema matching problem has already been addressed in the literature. Nevertheless, the matching of XML schemas and relational schemas is still an open issue. This comes from the fact that the existing work is whether speci c for schemas designed in the same model, or too generic for the problem in discussion. The mais goal of this dissertation is to develop speci c techniques for the matching of XML schemas and relational schemas. Such techniques exploit the particularities found when analyzing the two schemas together, and use these cues to leverage the matching process. The techniques are evaluated by running experiments with real-world schemas.

Aplicações ditas não convencionais, como, por exemplo, CAD, CASE, Automação de Escritórios, entre outras, freqüentemente exigem a manutenção de diversos estados da base de dados, retendo o histórico das modificações realizadas. Como resposta a tal requisito, é empregado o conceito de Versão. Neste trabalho o Modelo de Versões proposto por Golendziner é empregado no contexto da evolução de esquemas. Versões são utilizadas para armazenar os diferentes estados do esquema, de suas classes e métodos e, ainda, para posterior adaptação das instancias vigentes no banco de dados, mantendo um histórico da evolução do esquema do banco de dados. É proposto um modelo flexível de suporte a evolução de esquemas em bancos de dados orientados a objetos, bem como estratégias de propagação das instancias vigentes na base de dados. O histórico das modificações é representado pela derivação de versões do esquema e de seus elementos. Os estados anteriores as transformações são preservados, permitindo aos usuários a navegação retroativa e proativa entre versões, para realização de operações consistentes de modificação e consulta. / Non-conventional applications such as CAD, CASE, office automation often require the maintenance of various database states, to keep track of the history of the performed updates. The concept of version is employed to support such requirement. In this work, the version model proposed by Golendziner is used in the schema evolution context. Versions are used to store the different states of the schema, classes and methods, as well as for the mapping of database instances among the various schema versions, thus keeping the history of the database schema evolution. A flexible model is proposed to support schema evolution in object-oriented databases, as well as the strategies to propagate the corresponding changes to the database instances. Versions of schema, as well as versions of the schema elements represent their evolution history. In the proposed model, previous states are preserved allowing the user to make queries about consistency and modifications in both backward and forward version.

Esta tese apresenta elucidações técnicas e interpretações póscomposicionais de quatro peças compostas durante o doutorado: “Io” e “Calisto”, para piano solo, “Ganimedes” e “Europa”, para dois pianos. A composição musical é abordada em três etapas: a) descrição dos aspectos musicais e extramusicais dos primeiros estágios da composição; b) investigação das características sonoras das peças; c) construção de interpretações ficcionais pós-composicionais, imaginando as luas de Júpiter como ímpeto composicional e interpretativo. O terceiro estágio é realizado na perspectiva da teoria contemporânea das metáforas, tal qual proposta por George Lakoff e Mark Johnson e, posteriormente, por Mark Turner e Gilles Falconnier. Através da apresentação das categorias de metáforas, cruzamentos de mapeamento de domínios, esquemas de imagens, princípio de invariância, espaços conceptuais e mesclagem conceptual, se estabelecem, neste trabalho, conexões entre os conceitos metafóricos e a conceptualização metafórica da música. Isso contribui para a aproximação entre as características marcantes das peças e as cenas/ações propostas como primeira etapa das interpretações pós-composicionais, construídas pelo compositor. O trabalho propõe-se a pensar sobre a atribuição de significados da composição musical em uma perspectiva global, em que elementos extramusicais podem expandir a assimilação do fenômeno musical, bem como contribuir para a pedagogia da composição musical e para a produção de trabalhos colaborativos. / This thesis presents technical elucidations and post-compositional interpretations of four pieces composed during my doctorate degree: "Io" and "Calisto", for solo piano, "Ganimedes" and "Europa" for two pianos. The music composition is approached in three steps: a) description of the musical and extra musical aspects of the first stages of the composition; b) investigation of the sonorous characteristics of the pieces; c) construction of fictional postcompositional interpretations, imagining Jupiter's moons as compositional and interpretative impetus. The third stage is achieved under the perspective of the contemporary theory of metaphor proposed by George Lakoff and Mark Johnson, and posteriorly developed by Mark Turner and Gilles Falconnier. Through the introduction of metaphor categories, the cross-domain mapping, the image schema, the invariance principle, the mental spaces and the conceptual blending, some connections are established between the metaphoric concepts and the metaphoric conceptualization of music. This contributes to the approximation between the main characteristics of the pieces and the scenes/actions proposed in the first step of the post-compositional interpretations. This work proposes a reflection about the attribution of meanings on the musical composition in a global perspective, where extra musical elements can expand the assimilation of the musical phenomenon, as well as to contribute to the pedagogy of musical composition and the production of collaborative works.

[pt] A maior parte dos bancos de dados existentes é projetada de maneira independente e, portanto, é geralmente implementada utilizando diferentes esquemas conceituais, criando um contexto de heterogeneidade em níveis sintático, estrutural e semântico. Não obstante, quando um conjunto de bancos de dados se refere a um mesmo domínio, eventualmente, surge a necessidade de integrá-los em um mesmo banco, ou de intermediar o acesso ao conjunto de bancos de forma transparente. Para tratar o problema da heterogeneidade, torna-se necessário o alinhamento dos esquemas de cada um dos bancos de dados envolvidos. Esse processo geralmente é feito por especialistas de domínio, mas tende a ser um trabalho muito tedioso e propenso a erros. Esta dissertação apresenta o CatalogMatcher, uma infra-estrutura de software para alinhamento de catálogos heterogêneos. Um catálogo armazena dados sobre um conjunto de objetos de um determinado domínio, tipicamente classificados por algum tipo de taxonomia ou tesauro. O CatalogMatcher contém componentes que implementam estratégias de alinhamento de catálogos heterogêneos utilizando abordagens baseadas em instâncias. / [en] Most databases are independently designed and, therefore, are usually implemented using different conceptual schemas, which creates a context of syntactic, structural and semantic-level heterogeneity. Nevertheless, when a set of databases refers to a common domain, it may become necessary to integrate them into a single database, or to intermediate access to the databases in a transparent way. To deal with the heterogeneity problem, it becomes necessary to align the conceptual schemas. This process is usually carried out by domain specialists, and tends to be tedious and error-prone. This dissertation presents the CatalogMatcher, a software infrastructure for catalog matching. A catalog stores data about a set of objects from a specific domain, typically classified by some sort of taxonomy or thesaurus. The CatalogMatcher contains components that implement instance-based alignment strategies.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho consiste em uma investigação sobre a contribuição da filosofia de Kant para a reabilitação do conceito de construção filosófica por ela mesma rejeitado. Esta aparente contradição se dilui quando compreendemos que, ao introduzir sob a perspectiva do criticismo os problemas da aplicação do método da matemática na filosofia, Kant reelabora de tal forma o conceito de construção matemática que, embora claramente não o almejasse, acaba por fornecer caminhos que permitiriam aos seus intérpretes-filósofos reconsiderar a possibilidade daquela aplicação. No primeiro capítulo, consideramos a argumentação de Kant sobre a impossibilidade de aplicação do método da construção na filosofia através de uma interpretação da metáfora do sistema de conhecimento como um edifício e de um exame dos limites desta metáfora a partir de uma análise do caso da construção geométrica. No segundo capítulo, a partir da observação do papel desempenhado pelo conceito de esquema, investigamos a relação entre o aspecto arbitrário do conhecimento matemático e o aspecto necessário do conhecimento filosófico mediante a análise da argumentação kantiana sobre a possibilidade de se definir conceitos puros sensíveis e a impossibilidade de se o fazer quanto aos conceitos puros do entendimento, estabelecida desde uma diferença considerada entre conceitos dados a priori e conceitos produzidos a priori. Finalmente, confrontamos os pressupostos desta comparação com a asserção de que a síntese pura representada universalmente dá o conceito puro do entendimento. Como a síntese é uma ação, o conceito de categoria enquanto conceito dado a priori é esmaecido pela hipótese de que os conceitos dados sejam, de modo parcialmente distinto dos conceitos puros sensíveis, também produzidos a priori. / This work is an investigation on Kants contribution to rehabilitate the concept of philosophical construction which is rejected by Kant himself. This apparent contradiction dissolves when we realize that by introducing the problems of applying the method of mathematical philosophy through the perspective of the criticism, Kant reworks the concept of mathematical construction in such a way that he ends up providing paths that would allow his interpreters philosophers to reconsider the possibility of such an application. In the first chapter, we consider Kant's argument about the impossibility of applying the method of construction in philosophy by interpreting the metaphor of the system of knowledge as a building and by examining the limits of this metaphor by analyzing the concept of geometric construction. In the second chapter, observing the role played by the concept of schema, we investigate the relationship between the arbitrary aspect of mathematical knowledge and the necessary aspect of philosophical knowledge through the analysis of Kant's argument on the possibility of defining pure sensible concepts and the impossibility of doing the same with pure concepts of understanding. This argument is drawn from a considered difference between given a priori and produced a priori concepts. Finally, we confront the assumptions of this comparison with the assertion that the universally represented pure synthesis gives the pure concept of understanding. As the synthesis is an action, the concept of category as a concept given a priori is dimmed by the hypothesis that the given concepts are, in a partially different way in relation to the pure sensible concepts, also produced a priori.

Aplicações ditas não convencionais, como, por exemplo, CAD, CASE, Automação de Escritórios, entre outras, freqüentemente exigem a manutenção de diversos estados da base de dados, retendo o histórico das modificações realizadas. Como resposta a tal requisito, é empregado o conceito de Versão. Neste trabalho o Modelo de Versões proposto por Golendziner é empregado no contexto da evolução de esquemas. Versões são utilizadas para armazenar os diferentes estados do esquema, de suas classes e métodos e, ainda, para posterior adaptação das instancias vigentes no banco de dados, mantendo um histórico da evolução do esquema do banco de dados. É proposto um modelo flexível de suporte a evolução de esquemas em bancos de dados orientados a objetos, bem como estratégias de propagação das instancias vigentes na base de dados. O histórico das modificações é representado pela derivação de versões do esquema e de seus elementos. Os estados anteriores as transformações são preservados, permitindo aos usuários a navegação retroativa e proativa entre versões, para realização de operações consistentes de modificação e consulta. / Non-conventional applications such as CAD, CASE, office automation often require the maintenance of various database states, to keep track of the history of the performed updates. The concept of version is employed to support such requirement. In this work, the version model proposed by Golendziner is used in the schema evolution context. Versions are used to store the different states of the schema, classes and methods, as well as for the mapping of database instances among the various schema versions, thus keeping the history of the database schema evolution. A flexible model is proposed to support schema evolution in object-oriented databases, as well as the strategies to propagate the corresponding changes to the database instances. Versions of schema, as well as versions of the schema elements represent their evolution history. In the proposed model, previous states are preserved allowing the user to make queries about consistency and modifications in both backward and forward version.

abstract: Cognitive reappraisal, or redefining the meaning of a stressful circumstance, is useful in regulating emotional responses to acute stressors and may be mobilized to up- or down- regulate the stressors’ emotional salience. A conceptually-related but more targeted emotion regulation strategy to that offered by cognitive reappraisal, termed positive cognitive shift, was examined in the current study. Positive cognitive shift (“PCS”) is defined as a point of cognitive transformation during a chronic, stressful situation that alters the meaning and emotional salience of the situation for the individual. Key aspects of the PCS that differentiate it from the broader reappraisal construct are that it 1) is relevant to responses to chronic (versus acute) aversive events, 2) is deployed when there is a mismatch between coping and stressors, and 3) involves insight together with redefinition in meaning of the situation generating stress. The current study used qualitative and quantitative analyses to 1) examine whether PCS is an observable, reliable, and valid experience in response to a stressful event that occurred in the past year, and 2) test whether PCS moderates the relations between the number of past-year stressful life circumstances and subsequent emotional well-being and functional health. A community sample of 175 middle-aged individuals were interviewed regarded a past chronic stressor and completed questionnaires regarding number of past year stressors and health outcomes. Theory-based coding of interviews was conducted to derive reliable scores for PCS, and findings indicated that PCS was evident in 37.7 % of participant responses. Furthermore, PCS scores were related positively to openness, personal growth from one’s most difficult lifetime event, and affect intensity-calm, in line with predictions. Also in line with prediction, PCS moderated the relations between number of past-year life events and health outcomes, such that the deleterious relations between past year stressful events and cognitive functioning, wellbeing, positive affect, and negative affect were weaker among individuals higher versus lower in PCS. Of note, PCS moderation effects diminished as the number of stressful events increased. / Dissertation/Thesis / Doctoral Dissertation Psychology 2018

Nous nous intéressons à des formules de la logique du premier ordre où certaines constantes sont interprétées dans un domaine défini inductivement, comme les entiers. Le problème de la validité n'est pas semi-décidable pour ces formules. Le but de cette thèse est donc d'accroître les capacités des procédures de preuve les plus efficaces pour la logique du premier ordre (fondées sur le calcul de résolution et de superposition) afin de tenir compte de ces constantes particulières. Pour cela, nous adaptons le calcul de superposition en ajoutant notamment un mécanisme de détection de cycles qui simule une forme d'induction mathématique. Nous étudions dans un premier temps le cas particulier des entiers, puis nous généralisons certains des résultats obtenus au cas où les constantes inductives sont définies à l'aide de constructeurs monadiques (des mots). Nous présentons des classes syntaxiques pour lesquelles nous pouvons assurer la complétude et/ou la décidabilité. Nous décrivons un outil appelé SuperInd, fondé sur le démonstrateur Prover9, implémentant les résultats précédents. Enfin, nous décrivons certaines expérimentations et procédons à des comparaisons avec d'autres approches. / We consider first order formulas where some constant symbols are defined in an inductive domain. The validity problem is not semi-decidable for these formulas. This work aims to increase the capabilities of the usual first order proof procedures (usually based on superposition and resolution calculus) to handle these particular constant symbols. Thus, we adapt the superposition calculus using a loop detection mechanism encoding a form of mathematical induction. We first consider the particular case of natural numbers, then we generalize some of these results to the case where the inductive constant symbols are defined with monadic constructors (words). We present some syntactic classes for which we can ensure completeness and/or decidability. We describe a new tool named SuperInd, based on the theorem prover Prover9, implementing our previous results. Finally we describe some experimentations and some comparisons with other approaches.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho consiste em uma investigação sobre a contribuição da filosofia de Kant para a reabilitação do conceito de construção filosófica por ela mesma rejeitado. Esta aparente contradição se dilui quando compreendemos que, ao introduzir sob a perspectiva do criticismo os problemas da aplicação do método da matemática na filosofia, Kant reelabora de tal forma o conceito de construção matemática que, embora claramente não o almejasse, acaba por fornecer caminhos que permitiriam aos seus intérpretes-filósofos reconsiderar a possibilidade daquela aplicação. No primeiro capítulo, consideramos a argumentação de Kant sobre a impossibilidade de aplicação do método da construção na filosofia através de uma interpretação da metáfora do sistema de conhecimento como um edifício e de um exame dos limites desta metáfora a partir de uma análise do caso da construção geométrica. No segundo capítulo, a partir da observação do papel desempenhado pelo conceito de esquema, investigamos a relação entre o aspecto arbitrário do conhecimento matemático e o aspecto necessário do conhecimento filosófico mediante a análise da argumentação kantiana sobre a possibilidade de se definir conceitos puros sensíveis e a impossibilidade de se o fazer quanto aos conceitos puros do entendimento, estabelecida desde uma diferença considerada entre conceitos dados a priori e conceitos produzidos a priori. Finalmente, confrontamos os pressupostos desta comparação com a asserção de que a síntese pura representada universalmente dá o conceito puro do entendimento. Como a síntese é uma ação, o conceito de categoria enquanto conceito dado a priori é esmaecido pela hipótese de que os conceitos dados sejam, de modo parcialmente distinto dos conceitos puros sensíveis, também produzidos a priori. / This work is an investigation on Kants contribution to rehabilitate the concept of philosophical construction which is rejected by Kant himself. This apparent contradiction dissolves when we realize that by introducing the problems of applying the method of mathematical philosophy through the perspective of the criticism, Kant reworks the concept of mathematical construction in such a way that he ends up providing paths that would allow his interpreters philosophers to reconsider the possibility of such an application. In the first chapter, we consider Kant's argument about the impossibility of applying the method of construction in philosophy by interpreting the metaphor of the system of knowledge as a building and by examining the limits of this metaphor by analyzing the concept of geometric construction. In the second chapter, observing the role played by the concept of schema, we investigate the relationship between the arbitrary aspect of mathematical knowledge and the necessary aspect of philosophical knowledge through the analysis of Kant's argument on the possibility of defining pure sensible concepts and the impossibility of doing the same with pure concepts of understanding. This argument is drawn from a considered difference between given a priori and produced a priori concepts. Finally, we confront the assumptions of this comparison with the assertion that the universally represented pure synthesis gives the pure concept of understanding. As the synthesis is an action, the concept of category as a concept given a priori is dimmed by the hypothesis that the given concepts are, in a partially different way in relation to the pure sensible concepts, also produced a priori.

O casamento entre esquemas XML e esquemas relacionais é necessário em diversas aplicações, tais como integração de informação e intercâmbio de dados. Tipicamente o casamento de esquemas é um processo manual, talvez suportado por uma interface grá ca. No entanto, o casamento manual de esquemas muito grandes é um processo dispendioso e sujeito a erros. Disto surge a necessidade de técnicas (semi)-automáticas de casamento de esquemas que auxiliem o usuário fornecendo sugestões de casamento, dessa forma reduzindo o esforço manual aplicado nesta tarefa. Apesar deste tema já ter sido estudado na literatura, o casamento entre esquemas XML e esquemas relacionais é ainda um tema em aberto. Isto porque os trabalhos existentes ou se aplicam para esquemas de nidos no mesmo modelo, ou são genéricos demais para o problema em questão. O objetivo desta dissertação é o desenvolvimento de técnicas especí cas para o casamento de esquemas XML e esquemas relacionais. Tais técnicas exploram as particularidades existentes entre estes esquemas para inferir valores de similaridade entre eles. As técnicas propostas são avaliadas através de experimentos com esquemas do mundo real. / The matching between XML schemas and relational schemas has many applications, such as information integration and data exchange. Typically, schema matching is done manually by domain experts, sometimes using a graphical tool. However, the matching of large schemas is a time consuming and error-prone task. The use of (semi-)automatic schema matching techniques can help the user in nding the correct matches, thereby reducing his labor. The schema matching problem has already been addressed in the literature. Nevertheless, the matching of XML schemas and relational schemas is still an open issue. This comes from the fact that the existing work is whether speci c for schemas designed in the same model, or too generic for the problem in discussion. The mais goal of this dissertation is to develop speci c techniques for the matching of XML schemas and relational schemas. Such techniques exploit the particularities found when analyzing the two schemas together, and use these cues to leverage the matching process. The techniques are evaluated by running experiments with real-world schemas.