TY  - CHAP
AU  - Nieva Soto, Susana
AU  - Sánchez-Hernández, Jaime
AU  - Sáenz Pérez, Fernando
A4  - Garrigue, Jacques
A4  - Hermenegildo, Manuel
PY  - 2008
DO  - 10.1007/978-3-540-78969-7 21
SN  - 978-3-540-78968-0
UR  - https://hdl.handle.net/20.500.14352/53171
AB  - In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our...
LA  - eng
M2  - 289
PB  - Springer-Verlag Berlín
TI  - Formalizing a constraint deductive database language based on hereditary harrop formulas with negation
TY  - book part
VL  - 4989
ER  -