Investigación básica y aplicada en bases de datos deductivas

Con el proyecto presente: “investigación básica y aplicada en Bases de Datos Deductivas”; se pretende avanzar en el estudio, aplicaciones y desarrollo de técnicas para el procesamiento de consultas recursivas para bases de datos deductivas, tendientes a ofrecer alternativas de nuevas prestaciones en Bases de datos relacionales. Constituyendo, por sus características en un encuentro entre conceptos teóricos provenientes de la Lógica Computacional, y del Álgebra Relacional para bases de datos; con técnicas de programación y desarrollo para la implementación de algoritmos concretos de aplicación. Cabe destacar también que toda la investigación y desarrollo se formaliza y documenta con técnicas de especificación formal del método RAISE. El presente proyecto está categorizado con categoría “A”, la máxima, que lo sitúa en la línea de prioridades de la Facultad de Ingeniería de la UNJu; y se enmarca dentro de un proyecto general de la línea PICTO tendiente a implementar una base de datos de composición de alimentos para Argentina y Latinoamérica. Otro aspecto que contempla el presente proyecto es el de contribuir a la formación de recursos humanos; ya que como parte del mismo se desarrolla una tesis de maestría en Ingeniería del Software y un proyecto final para el grado de Ingeniero Informático.Eje: Bases de Datos y Minería de DatosRed de Universidades con Carreras en Informática (RedUNCI

Compilative Constructive Negation in Constraint Logic Programs

. In this paper we define a new compilative version of constructive negation (intensional negation) in CLP and we prove its (nonground) correctness and completeness wrt the 3-valued completion. We show that intensional negation is essentially equivalent to constructive negation and that it is indeed more efficient, as one would expect from the fact that it is a compilative technique, with the transformation and the associated normalization process being performed once and for all on the source program. We define several formal non-ground semantics, based either on the derivation rule or on the least fixpoint of an immediate consequence operator. All these semantics are proved to correctly model the observable behavior, from the viewpoint of answer constraints. We give some equivalence theorems and we show that all our denotations are the non-ground representation of a single partial interpretation, which is \Phi P " !, where \Phi P is the Fitting's operator [12]. 1 Introduction The m..