Entorno virtual para el aprendizaje y la evaluación automática en bases de datos

La enseñanza y evaluación automática a través de un sistema Computer Based Assessment (CBA) requiere de software especializado que se adapte a la tipología de actividades a tratar y evaluar. En esta tesis se ha desarrollado un entorno CBA que facilita el aprendizaje y evaluación de los principales temas de una asignatura de bases de datos. Para ello se han analizado las herramientas existentes en cada uno de estos temas (Diagramas Entidad/Relación, diagramas de clases, esquemas de bases de datos relacionales, normalización, consultas en álgebra relacional y lenguaje SQL) y para cada uno de ellos se ha analizado, diseñado e implementado un módulo de corrección y evaluación automática que aporta mejoras respecto a los existentes. Estos módulos se han integrado en un mismo entorno al que hemos llamado ACME-DB.

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Fundamentos de las Bases de Datos. 2011C1 Exámenes finales (curso 2012-2013)

En ese curso, este examen se hizo en la última sesión de teoría por lo que se prepararon varias versiones ligeramente diferentes para cada grupo de teoría.

Fundamentos de las Bases de Datos. 2011C2 Exámenes finales (curso 2012-2013)

El examen consta de 3 partes: Test de teoría, problemas de teoría y SQL. Hay dos versiones, una para informática y otra para multimedia.

Fundamentos de las Bases de Datos. 2012C1 Examen final (curso 2012-2013)

En el curso 2011-12 este examen de problemas de aplicación de la teoría se realizó en la fecha asignada por la Universidad de Alicante y en aulas comunes para Informática y Multimedia.

Fundamentos de las Bases de Datos. 2012C2 Examen (curso 2012-2013)

Examen de segunda convocatoria del curso 2011-12. Consta de 3 partes: test y problemas de teoría, y SQL.

Fundamentos de las Bases de Datos. Presentaciones Teoría1 (curso 2012-2013)

Presentaciones de la primera hora de las sesiones de teoría (TEORÍA1).

Computer-aided tool for the teaching of relational algebra in data base courses

This article describes the design and implementation of computer-aided tool called Relational Algebra Translator (RAT) in data base courses, for the teaching of relational algebra. There was a problem when introducing the relational algebra topic in the course EIF 211 Design and Implementation of Databases, which belongs to the career of Engineering in Information Systems of the National University of Costa Rica, because students attending this course were lacking profound mathematical knowledge, which led to a learning problem, being this an important subject to understand what the data bases search and request do RAT comes along to enhance the teaching-learning process.It introduces the architectural and design principles required for its implementation, such as: the language symbol table, the gramatical rules and the basic algorithms that RAT uses to translate from relational algebra to SQL language. This tool has been used for one periods and has demonstrated to be effective in the learning-teaching process.  This urged investigators to publish it in the web site: www.slinfo.una.ac.cr in order for this tool to be used in other university courses.

Gestión estratégica de una cartera de clientes industriales en un contexto relacional

Este trabajo pretende mostrar la importancia que, en el contexto de los mercados industriales, tiene una buena gestión de la cartera de clientes. Las peculiaridades propias de estos mercados, así como la tendencia general de la disciplina del marketing, parecen recomendar la creación, desarrollo y mantenimiento de relaciones de intercambio estables y duraderas, ofreciendo soluciones individualizadas a las necesidades concretas de cada cliente. Sin embargo, las empresas también tienen clientes que no resultan interesantes desde el punto de vista de rentabilidad.

La violencia de género en el sistema penal español: doctrina. Entorno subjetivo y relacional. Y especial referencia a las víctimas

El trabajo tiene como objeto el estudio de la violencia contra las mujeres ejercida por quienes son o han sido su cónyuge o persona con la que mantienen o han mantenido relación de análoga afectividad a la conyugal, abarcando el estudio de este fenómeno desde el punto de vista del Derecho Penal español, marco relacional y subjetivo, con especial atención a las víctimas, desvirtuando los tópicos que se han construido entorno a éstas, así como analizando la importancia de su intervención a través de la denuncia o la solicitud de orden de protección, de la dispensa legal que asiste a las mujeres víctimas de violencia de género de declarar contra sus cónyuges o personas a las que hayan estado unidas por relación de análoga afectividad.

Evaluación de la actividad científica: conectividad relevante y calidad relacional. Una propuesta teórico-metodológica

[338] p.

Sistema de control multipropósito programable por pulsación de teclas con álgebra RPN.

[ES]Para la elaboración del presente proyecto, primeramente se explicara los requerimientos técnicos y el origen del microprocesador a utilizar para poder situar y centrar el tema del trabajo. Una vez acotado y delimitado el tema objeto de estudio, se planteara una arquitectura de software sobre la posibilidad de generar unas “pseudolibrerias” de mayor nivel de programación que el ensamblador. Posteriormente, se verificara la posible viabilidad o no de tal planteamiento, exponiendo sus resultados y las consideraciones oportunas a las que nos ha llevado su estudio. Para ello se analizara en una primera instancia el microprocesador a utilizar, que será el PIC16F887, centrándonos en el debido al amplio manejo y conocimiento que poseemos sobre este microprocesador. El objeto de este escrito será presentar una oferta económica relativa al desarrollo e instalación de dichos microprocesadores para la mejora en el ámbito industrial. Finalmente, realizaremos un estudio sobre la implementación de este tipo de arquitectura software en diferentes microprocesadores de mayores prestaciones, estudiando si la infraestructura será eficiente, funcional y económica.

Plan de marketing turístico desde una perspectiva relacional: la comarca de Oarsoaldea

El proyecto a continuación redactado refleja la creación de un plan de marketing para una comarca, Oarsoaldea. Consiste en lograr una mayor eficacia para atraer al turismo en los cuatro municipios que la forman mediante un plan basado en el marketing de relaciones.

El resultado internacional de las nuevas empresas. Una visión relacional asociada a la orientación al mercado de la red

[ES] Este trabajo profundiza en el estudio de los factores que influyen en la competitividad internacional de las nuevas empresas internacionales y, en consecuencia, en su resultado internacional. Aunando las disciplinas del emprendedurismo y del marketing internacional, se trata de remarcar la importancia del conocimiento relacional a través de la influencia de la orientación al mercado de la red en los resultados internacionales logrados por estas empresas en base al efector mediador de las ventajas competitivas. Los resultados obtenidos del contraste de hipótesis, mediante modelos de ecuaciones estructurales y análisis multi-muestra, confirman que la orientación al mercado de la red resulta determinante en la obtención de resultados internacionales superiores por parte de las nuevas empresas. Esta influencia se produce de forma indirecta a partir del efecto mediador de las ventajas competitivas en diferenciación y costes desarrolladas por las mismas. Este estudio extiende la investigación pasada en torno al emprendedurismo internacional, incluyendo nuevas aportaciones propias de la disciplina del marketing respecto a los antecedentes de la competitividad y los resultados de las nuevas empresas internacionales en los mercados exteriores. Además, los resultados obtenidos animan a emprendedores en el contexto internacional a considerar el valor explícito de otros factores distintos al conocimiento experiencial, que la empresa adquiere de forma gradual conforme se incrementa su experiencia en el mercado exterior, para darse cuenta del valor potencial que el conocimiento relacional asociado a la orientación al mercado de la red tiene como antecedente para la consecución de ventajas competitivas en el mercado internacional.

Traduzinho XML para o modelo relacional: experiência no SIGI.

Conversão de dados de banco de dados relacional para/de o formato XML. Arquitetura do SIGI. Bancos de dados relacional e XML. A experiência no SIGI: XML e Oracle 8i. Exemplos.