Aranda López, GabrielNieva Soto, SusanaSáenz Pérez, FernandoSánchez Hernández, Jaime2023-06-202023-06-202009978-1-60558-568-010.1145/1599410.1599426https://hdl.handle.net/20.500.14352/45353Conference: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) Location: Coimbra, PORTUGAL Date: SEP 07-09, 2009This 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.engbook parthttp://dl.acm.org/citation.cfm?doid=1599410.1599426http://dl.acm.org/dl.cfm?CFID=202449860&CFTOKEN=79821170restricted access004.438APLHereditary Harrop FormulasDeductive DatabasesStratificationConstraintsFixpoint SemanticsPrologLenguajes de programación1203.23 Lenguajes de Programación