A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Theoretical reflections about transdisciplinarity: a critic vision of Kuhn’s epistemic perspective

Tomando como premissa inicial o facto de que todo o trabalho educativo deve ter um caráter transdisciplinar, pretendemos com este estudo, de índole teórica, refletir sobre a transdisciplinaridade como estratégia de ensino aprendizagem. O principal objetivo é contribuir para o desenvolvimento formativo dos alunos do ensino superior e fomentar o desenvolvimento de competências que aportem ferramentas teóricas adequadas a uma educação formal e à sua própria vida, ajudando - os a cumprir o que lhes é exigido pelo sistema, reforçando o seu o espírito crítico. A metodologia utilizada tem por base a análise documental, baseada num processo colaborativo, no trabalho em equipa e no fornecimento de um conhecimento comum. Ancorados no lema de que a relação docente/discente assenta nas premissas aprender a aprender, aprender a ensinar, desenvolver o espírito crítico e as competências democráticas, a pesquisa transdisciplinar, como técnica de ensino-aprendizagem, permitirá que os diferentes atores atinjam o sucesso educativo.Taking like a initial principle the fact that all the educational work has to have a transdisciplinary character, we pretend with this study, of theoretical type, reflect on the transdisciplinarity like stategy of education learn. The main aim is to contribute for the formative development of the students of the upper education and to boost the development of qualifications that aportem suitable theoretical tools to a formal education and to his own life, helping to fulfil what is them demanded by the system, reinforcing his the critical spirit. The methodology used has by base the documentary analysis, based in a process colaborativo, in the work in team and in the supply of a common knowledge. Anchored in the lemma that the educational relation in the upper education, assent in the principle to learn to learn, to learn to teach, to develop the critical spirit and the democratic qualifications, the investigation transdisciplinayr, like technician of education-learning, will allow that the different actors reach the educational success.info:eu-repo/semantics/publishedVersio