TY  - THES
AU  - Aranda López, Gabriel
A3  - Sánchez Hernández, Jaime
A3  - Nieva Soto, Susana
A3  - Sáenz Pérez, Fernando
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/46271
AB  - Las fórmulas de Harrop hereditarias con restricciones se han usado como base para lenguajes de programación lógica. Al igual que la programación lógica da soporte alenguajes de bases de datos deductivas como Datalog (con restricciones), este marco se...
LA  - spa
KW  - Sistemas de bases de datos deductivas
KW  - Restricciones
KW  - Fórmulas hereditarias de Harrop
KW  - Semántica de punto fijo
KW  - Deductive Database Systems
KW  - Constraints
KW  - Hereditary Harrop Formulas
KW  - Fixpoint Semantics
TI  - Un sistema de bases de datos deductivas con restricciones
M3  - master thesis
ER  -