Sáenz Pérez, FernandoArroyo Gallardo, JavierFrancisco Gilmartín, VirginiaGarmendia Salvador, LuisGómez Gauchía, HéctorSánchez Padial, Antonio2023-06-172023-06-172021-05Abello, 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: http://hdl.handle.net/2117/89668; http://www.ijee.ie/latestissues/ 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: http://dx.doi.org/10.1016/j.jss.2005.06.028. 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: http://www.sciencedirect.com/science/article/pii/S0957417417306620. doi:https://doi.org/10.1016/j.eswa.2017.09.056. 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: http://doi.acm.org/10.1145/ 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: https://doi.org/10.14778/3151113. 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: http://doi.acm.org/10.1145/41625.41635. 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: http://doi.acm.org/10.1145/243439.243447. 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: https://doi.org/10.1017/S147106840200145X. 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: http://arxiv.org/abs/0904.2136. 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.https://hdl.handle.net/20.500.14352/9802El 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.spateaching innovation project259open accessBases de datosSQLHerramientas de enseñanzaIngeniería y ArquitecturaBases de datos (Informática)