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



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

[thumbnail of Nieva01.pdf] PDF
Restringido a Repository staff only


Official URL:


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