TY  - CHAP
AU  - Aranda López, Gabriel
AU  - Nieva Soto, Susana
AU  - Sáenz Pérez, Fernando
AU  - Sánchez Hernández, Jaime
PY  - 2009
DO  - 10.1145/1599410.1599426
SN  - 978-1-60558-568-0
UR  - https://hdl.handle.net/20.500.14352/45353
AB  - 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...
LA  - eng
M2  - 117
PB  - Assoc Computing Machinery
KW  - Hereditary Harrop Formulas
KW  - Deductive Databases
KW  - Stratification
KW  - Constraints
KW  - Fixpoint Semantics
KW  - Prolog
TI  - Implementing a Fixpoint Semantics for a ConstraintDeductive Database based on Hereditary Harrop Formulas
TY  - book part
ER  -