Evaluación y mejora de la herramienta on-line DESweb para la enseñanza de bases de datos (2)

Thumbnail Image
Official URL
Full text at PDC
Publication Date
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Google Scholar
Research Projects
Organizational Units
Journal Issue
El objetivo es la herramienta DESweb de apoyo a la docencia virtual y presencial para la enseñanza de bases de datos relacionales (SQL) y deductivas (Datalog). Esta solicitud es continuación de un proyecto de la convocatoria anterior.
Unesco subjects
Abello, A., Burgues, X., Casany, M., Martin, C., Quer, C., Rodrguez, M. E., Romero, O., & Urpi, T. (2016). A software tool for e-assessment of relational database skills. International journal of engineering education, 32 (3A), 1289-1312. URL:; Vol32-3A/23_ijee3260ns.pdf. Albert, E., Gómez-Zamalloa, M., & Puebla, G. (2009). Test Data Generation of Bytecode by CLP Partial Evaluation. In 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08) number 5438 in Lecture Notes in Computer Science (pp. 4-23). Springer-Verlag. Allen, G. N. (2000). WebSQL: An Interactive Web Tool for Teaching Structured Query Language. In AMCIS 2000 Proceedings 384. Apt, K. (2003). Principles of Constraint Programming. New York, NY, USA: Cambridge University Press. Brass, S., & Goldberg, C. (2006). Semantic Errors in SQL Queries: A Quite Complete List. The Journal of Systems and Software, 79 (5), 630{644. URL: doi:10.1016/j.jss.2005.06.028. Caballero, R., & Ieva, C. (2015). Constraint Programming Meets SQL. In XV Jornadas sobre Programación y Lenguajes, PROLE 2015 (SISTEDES). Correas, J., Martín, S. E., & Sáenz-Pérez, F. (2018). Enhancing set constraint solvers with bound consistency. Expert Systems with Applications, 92, 485 - 494. URL: doi: Danaparamita, J., & Gatterbauer, W. (2011). Queryviz: Helping users understand SQL queries and their patterns. In Proceedings of the 14th International Conference on Extending Database Technology EDBT/ICDT'11 (pp. 558-561). New York, NY, USA: ACM. URL: 1951365.1951440. doi:10.1145/1951365.1951440. Frühwirth, T. (2009). Constraint Handling Rules. (1st ed.). New York, NY, USA: Cambridge University Press. Guagliardo, P., & Libkin, L. (2017). A Formal Semantics of SQL Queries, Its Validation, and Applications. Proceedings of the VLDB Endowment, 11 (1), 27-39. URL: 3151116. doi:10.14778/3151113.3151116. Hitzler, P., & Seda, A. K. (2011). Mathematical Aspects of Logic Programming Semantics. Chapman and Hall / CRC studies in informatics series. CRC Press. Hofstedt, P. (2000). Cooperating Constraint Solvers. In R. Dechter (Ed.), Sixth International Conference on Principles and Practice of Constraint Programming - CP. Springer-Verlag volume 1894 of LNCS. ISO/IEC (2016). SQL:2016 ISO/IEC 9075-1:2016 Standard. Jaffar, J., & Lassez, J.-L. (1987). Constraint logic programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL '87 (pp. 111-119). New York, NY, USA: ACM. URL: doi:10.1145/41625.41635. Javid, M., Embury, S., Srivastava, D., & Ari, I. (2012). Diagnosing faults in embedded queries in database applications. In D. Srivastava, & I. Ari (Eds.), Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012 (pp. 239-244). United States: Association for Computing Machinery. doi:10.1145/2320765.2320831. Jones, N. D. (1996). An introduction to partial evaluation. ACM Comput. Surv., 28 (3), 480-503. URL: doi:10.1145/243439.243447. Julián-Iranzo, P., Sáenz-Pérez, F. (2020), "A System implementing Fuzzy Hypothetical Datalog", IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), Glasgow, UK. Leuschel, M., & Bruynooghe, M. (2002). Logic program specialisation through partial deduction: Control issues. TPLP, 2 (4-5), 461-515. URL: doi:10.1017/S147106840200145X. Martín, S. E., Hortalá-González, M. T., Rodríguez-Artalejo, M., del Vado Vírseda, R., Sáenz-Pérez, F., & Fernández, A. J. (2009). On the cooperation of the constraint domains h, R and FD in CFLP. CoRR, abs/0904.2136 . URL: arXiv:0904.2136. Monfroy, E., & Castro, C. (2004). A component language for hybrid solver cooperations. In ADVIS (pp. 192-202). Springer volume 3261 of Lecture Notes in Computer Science. Reza, H., & Zarns, K. (2011). Testing Relational Database Using SQLLint. In 2011 Eighth International Conference on Information Technology: New Generations (pp. 608-613). doi:10.1109/ITNG.2011.208. Russell, S. J., & Norvig, P. (2010). Artificial Intelligence - A Modern Approach (3rd. international edition). Pearson Education. Sadiq, S., Orlowska, M., Sadiq, W., & Lin, J. (2004). Sqlator: An online sql learning workbench. In Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education ITiCSE '04 (pp. 223-227). New York, NY, USA: ACM. Sáenz-Pérez, F. (2011). DES: A Deductive Database System. Electronic Notes on Theoretical Computer Science, 271 , 63-78. Sáenz-Pérez, F. (2014). Towards bridging the expressiveness gap between relational and deductive databases. Electronic Communications of the EASST, 64, 1-22. Sáenz-Pérez, F. (2017). Intuitionistic Logic Programming for SQL. In M. V. Hermenegildo, & P. Lopez-Garcia (Eds.), Logic-Based Program Synthesis and Transformation (pp. 293-308). Cham: Springer International Publishing. Sáenz-Pérez, F. (2018) Semantic Analysis of SQL Statements in DES. XVIII Jornadas sobre Programación y Lenguajes, PROLE’2018 (SISTEDES), Sevilla, Spain. Sáenz-Pérez, F. (2019) Experiencing Intuitionistic Logic Programming in SQL Puzzles (Work in Progress). XIX Jornadas sobre Programación y Lenguajes, PROLE’2019 (SISTEDES), Cáceres, Spain. Best presentation award Sáenz-Pérez, F. (2019) DESweb: una herramienta para el aprendizaje de SQL. XXV Edición de las Jornadas sobre la Enseñanza Universitaria de la Informática, Murcia, Spain. Sáenz-Pérez, F. (2019) “Applying Constraint Logic Programming to SQL Semantic Analysis”, Theory and Practice of Logic Programming, 35th International Conference on Logic Programming (ICLP’2019), Special Issue, 19(5-6):808-825, September 2019. Best applications paper award Scott, J. D., Flener, P., & Pearson, J. (2013). Bounded strings for constraint programming. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (pp. 1036-1043). doi:10.1109/ ICTAI.2013.155. Silberschatz, A., Korth, H., & Sudarshan, S. (2010). Database Systems Concepts. (Sixth ed.). New York, NY, USA: McGraw-Hill, Inc. Soler, J., Prados, F., Boada, I., & Poch, J. (2006). A Web-based tool for teaching and learning SQL. In International Conference on Information Technology Based Higher Education and Training, ITHET. Sterling, L., & Shapiro, E. (1994). The Art of Prolog (2Nd Ed.): Advanced Programming Techniques. Cambridge, MA, USA: MIT Press. Ullman, J. D. (1988). Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press.