TY  - THES
AU  - Lara López, Cristina
A3  - Sáenz Pérez, Fernando
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/3127
AB  - Las bases de datos deductivas, mediante la definición de reglas, tienen la capacidad de inferir información a partir de información que ya tienen almacenada de forma explícita. DES es un sistema que permite trabajar a través de una consola con bases...
AB  - Deductive databases, by defining rules, have the ability to infer information from information they already have explicitly stored. DES is a system that allows working through a console with deductive databases. ACIDE is a cross-platform open source...
LA  - spa
KW  - DES
KW  - ACIDE
KW  - Depuración declarativa
KW  - Datalog
KW  - Base de datos
KW  - Localización
KW  - Bases de datos deductivas
KW  - Predicados lógicos
KW  - Declarative debugging
KW  - Database
KW  - Location
KW  - Deductive databases
KW  - Logical predicates
TI  - Depuración de Datalog y mejoras en Acide
T2  - Datalog debugging and improvements in Acide
M3  - bachelor thesis
ER  -