TY - GEN AU - Panizo Lledot, Ángel A4 - García Ruiz, Yolanda PY - 2013 UR - https://hdl.handle.net/20.500.14352/46194 AB - El sistema DES v3.0 (Datalog Educational System) es un gestor de bases de datos deductivas y relacionales. Posee módulos que permiten la definición de datos y su manipulación mediante el lenguaje SQL. Además, con respecto a las consultas escritas en... LA - spa TI - Generación automática de casos de prueba para consultas SQL en el sistema DES TY - coursework ER -