RT Generic
T1 Un sistema de bases de datos deductivas con restricciones
A1 Aranda López, Gabriel
AB Las fórmulas de Harrop hereditarias con restricciones se han usado como base para lenguajes de programación lógica. Al igual que la programación lógica da soporte alenguajes de bases de datos deductivas como Datalog (con restricciones), este marco se usa como base para un sistema de bases de datos deductivas que mejora la expresividadde los sistemas aparecidos hasta el momento.En este trabajo, en primer lugar, se hace una comparativa entre distintos sistemas de bases de datos deductivas, así como de sistemas de bases de datos con restricciones. Más adelante se muestran los resultados teóricos que fundamentan el lenguaje HH¬(C) y una implementación concreta de este esquema que demuestra la viabilidad y expresividad del esquema. Las principales aportaciones con respecto a Datalog son el uso de consultas hipotéticas y cuantificadores universales. El sistema está diseñado de forma que soporta diferentes dominios de restricciones. La implementación incluye diferentes dominios concretos y también funciones de agregación que son habituales en otros lenguajes de bases de datos. El significado del lenguaje se define mediante una semántica de pruebas y el mecanismo operacional se define mediante una semántica de punto fijo que es correcta y completa con respecto a la primera. La semántica de punto fijo fundamenta la implementación del sistema. Para el cómputo de las consultas hipotéticas y de las funciones de agregación se hace uso de una noción de grafo de dependencias más compleja que la que usa Datalog. Este grafo de dependencias se utiliza para definir una estratificación para la base de datos. Además se debe teneren cuenta que la implementación debe estar diseñada contando con el posible crecimiento temporal de la base de datos debido a las consultas hipotéticas. Finalmentese presentan ejemplos del sistema que muestran la expresividad del lenguaje.[ABSTRACT]Hereditary Harrop formulas with constraints have been proposed as a basis for logic programming languages. In the same way that Datalog (with constraints) emerges from logic programming as a deductive database language, such formulas can support a very expressive framework for deductive databases.This work first presents a comparison between deductive database systems and constraint databases. Then, it presents the theoretical foundations of the HH¬(C)language and an implementation that shows the viability and expressive power of the proposal. The main contributions with respect to Datalog are the addition of hypotheticalqueries and universal quantications. The language is designed in a exible way in order to support different constraint domains. The implementation includes severaldomain instances, and it also supports aggregates as usual in database languages. The formal semantics of the language is defined by a proof-theoretic calculus, and for theoperational mechanism we use a stratified fixpoint semantics, which is proved to be sound and complete w.r.t. the former. The resulting fixpoint semantics constitutes asuitable foundation for the system implementation. Hypothetical queries and aggregates require a more elaborated notion of dependency graph than the common oneused in Datalog, which yields to an original stratification for databases. Moreover, the first one demands a sophisticated mechanism that implies a temporary, dynamicgrow of the database. Finally, some concrete examples for the system for showing the expresivity of the proponsal are presented.
YR 2010
FD 2010
LK https://hdl.handle.net/20.500.14352/46271
UL https://hdl.handle.net/20.500.14352/46271
LA spa
NO Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2009-2010
DS Docta Complutense
RD 8 abr 2025