Universidad Complutense de Madrid
E-Prints Complutense

Implementing a Fixpoint Semantics for a Constraint Deductive Database based on Hereditary Harrop Formulas



Último año

Aranda López, Gabriel y Nieva Soto, Susana y Sáenz Pérez, Fernando y Sánchez Hernández, Jaime (2009) Implementing a Fixpoint Semantics for a Constraint Deductive Database based on Hereditary Harrop Formulas. In PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. Assoc Computing Machinery, New York, USA, pp. 117-128. ISBN 978-1-60558-568-0

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://dl.acm.org/citation.cfm?doid=1599410.1599426


This work is aimed to show a concrete implementation of a deductive database system based on the scheme HH-(C) (Hereditary Harrop Formulas with Negation and Constraints) following a fixpoint semantics proposed in a previous work. We have developed a Prolog implementation for this scheme that is constraint system independent. therefore allowing to use it as a base for any instance of the formal scheme. We have developed several specific constraint systems: Real numbers, integers, Boolean and user-defined enumerated types. We have added types to the database so that relations become typed (as tables in relational databases) and each constraint is mapped to its corresponding constraint system. The predicates that compute the fixpoint giving the meaning to a database are described. In particular, we show the implementation of a forcing relation (for derivation steps) and highlight how the inherent difficulties have been overcome in a system allowing hypothetical queries, which make the database dynamically grow.

Tipo de documento:Sección de libro
Información Adicional:

Conference: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) Location: Coimbra, PORTUGAL Date: SEP 07-09, 2009

Palabras clave:Hereditary Harrop Formulas, Deductive Databases, Stratification, Constraints, Fixpoint Semantics, Prolog
Materias:Ciencias > Informática > Lenguajes de programación
Código ID:17136
Depositado:20 Nov 2012 12:40
Última Modificación:19 Mar 2016 13:23

Descargas en el último año

Sólo personal del repositorio: página de control del artículo