Impacto
Downloads
Downloads per month over past year
Aranda López, Gabriel and Nieva Soto, Susana and Sáenz Pérez, Fernando and 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
![]() |
PDF
Restringido a Repository staff only 244kB |
Official URL: http://dl.acm.org/citation.cfm?doid=1599410.1599426
Abstract
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.
Item Type: | Book Section |
---|---|
Additional Information: | Conference: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) Location: Coimbra, PORTUGAL Date: SEP 07-09, 2009 |
Uncontrolled Keywords: | Hereditary Harrop Formulas, Deductive Databases, Stratification, Constraints, Fixpoint Semantics, Prolog |
Subjects: | Sciences > Computer science > Programming languages (Electronic computers) |
ID Code: | 17136 |
Deposited On: | 20 Nov 2012 12:40 |
Last Modified: | 10 Aug 2018 11:31 |
Origin of downloads
Repository Staff Only: item control page