website design software
Databases and Logic Programming

DISCLAIMER:This directory is probably not updated, and it may contain pdf files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

A list of publications related to Databases and Logic Programming since 2004 (reverse chronological order):

  • [JS23] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "Bousi~Prolog: Design and implementation of a proximity-based fuzzy logic programming language", Expert Systems with Applications, Volume 213, Part A, 2023.
  • [AJRS22] [BibTeX] S. H. Al-Sayadi, P. Julián-Iranzo, F. P. Romero, and F. Sáenz-Pérez , "A Fuzzy Declarative Approach to Classify Unlabeled Short Texts Based on Automatically Constructed WordNet Ontologies", Computational Intelligence and Mathematics for Tackling Complex Problems 3. Studies in Computational Intelligence, vol 959. Springer, 2022.
  • [JS21c] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "Planning for an Efficient Implementation of Hypothetical Bousi~Prolog", Theory and Practice of Logic Programming, 21(5), pp. 680-697, 37th International Conference on Logic Programming (ICLP’2021), Special Issue, 2021.
  • [JS21b] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "Proximity-based Unification: an Efficient Implementation Method", IEEE Transactions on Fuzzy Systems 29(5), 2021.
  • [JS21a] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System", Theory and Practice of Logic Programming 21(2), 2021.
  • [JS20] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "A System implementing Fuzzy Hypothetical Datalog", IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), Glasgow, UK, 2020.
  • [NSS20] [BibTeX]  S. Nieva, F. Sáenz-Pérez, and J. Sánchez, “HR-SQL: Extending SQL with Hypothetical Reasoning and Improved Recursion for Current Database Systems”, Information & Computation, vol. 271, 2020.
  • [Sae19c] [BibTeX] F. Sáenz-Pérez, “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
  • [JS19b] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, “WordNet and Prolog: why not?”, In The 11th Conference of the European Society for Fuzzy Logic and Technology. September, EUSFLAT 2019.
  • [Sae19b] [BibTeX] F. Sáenz-Pérez, “Experiencing Intuitionistic Logic Programming in SQL Puzzles (Work in Progress)”, XIX Jornadas sobre Programación y Lenguajes, PROLE’2019 (SISTEDES), Cáceres, Spain, September, 2019. Best presentation award
  • [JS19a] [BibTeX] F. Sáenz-Pérez, “Integrating WordNet into Bousi~Prolog (Work in Progress)”, XIX Jornadas sobre Programación y Lenguajes, PROLE’2019 (SISTEDES), Cáceres, Spain, September, 2019.
  • [Sae19a] [BibTeX] F. Sáenz-Pérez, “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, July, 2019.
  • [Sae18b] [BibTeX] F. Sáenz-Pérez, “Semantic Analysis of SQL Statements in DES”, XVIII Jornadas sobre Programación y Lenguajes, PROLE’2018 (SISTEDES), Sevilla, Spain, September, 2018.
  • [JS18c] P. Julián-Iranzo and F. Sáenz-Pérez, "Appendix for: A Fuzzy Datalog Deductive Database System", IEEE Transactions on Fuzzy Systems, Issue 99, 2018.
  • [JS18b] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "An Efficient Proximity-based Unification Algorithm", IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), Rio de Janeiro, Brazil, 2018.
  • [JS18a] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, "A Fuzzy Datalog Deductive Database System", IEEE Transactions on Fuzzy Systems, Issue 99, 2018.
  • [Sae18a] [BibTeX] F. Sáenz-Pérez, "Relational calculi in a deductive system", Expert Systems with Applications, Volume 97, 2018, Pages 106-116, ISSN 0957-4174, JCR 2016: 3,928 (Q1).
  • [JS17a] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, “FuzzyDES or How DES Met Bousi~Prolog”, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 2017.
  • [JS17b] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, “FuzzyDES: Fuzzifying DES”, XVII Jornadas sobre Programación y Lenguajes, PROLE’2017 (SISTEDES), Tenerife, Spain, July, 2017.
  • [Sae17a] [BibTeX] F. Sáenz-Pérez, “Intuitionistic Logic Programming for SQL”, LNCS, Springer, Post-Conference Proceedings LOPSTR’16, 2017. In Press
  • [Sae16a] [BibTeX] F. Sáenz-Pérez, “Intuitionistic Logic Programming for SQL. Extended Abstract”, Pre-Proceedings of the 26th Intl. Symp. LOPSTR’16, Edimburgh, Scotland, September, 2016.
  • [Sae16b] [BibTeX] F. Sáenz-Pérez, “Formal Relational Languages in a Deductive Setting”, XVI Jornadas sobre Programación y Lenguajes, PROLE’2016 (SISTEDES), Salamanca, Spain, September, 2016.
  • [BCS16a] [BibTeX] F. Bueno, J. Correas, and F. Sáenz-Pérez, “Metapredicate Optimization for Datalog Queries through Program Analysis”, XVI Jornadas sobre Programación y Lenguajes, PROLE’2016 (SISTEDES), Salamanca, Spain, September, 2016.
  • [Sae15c] [BibTeX]  F. Sáenz-Pérez, “Restricted Predicates for Hypothetical Datalog”, Electronic Proceedings in Theoretical Computer Science, Vol. 200, 2015. Journal version corresponding to [Sae15b].
  • [Sae15b] [BibTeX]  F. Sáenz-Pérez, “Restricted Predicates for Hypothetical Datalog”, XV Jornadas sobre Programación y Lenguajes, PROLE’2015 (SISTEDES), Santander, Spain, September, 2015.
  • [Sae15a] [BibTeX] F. Sáenz-Pérez, "Improving the Deductive System DES with Persistence by Using SQL DBMS's", Electronic Proceedings in Theoretical Computer Science, Vol. 173, 2015. Journal version corresponding to [Sae14b].
  • [NSS15a] [BibTeX] S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, “HR-SQL: An SQL Database System with Extended Recursion and Hypothetical Reasoning”, Ongoing Work, XV Jornadas sobre Programación y Lenguajes, PROLE’2015 (SISTEDES), Santander, Spain, September, 2015.
  • [CGS15a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, “Debugging of Wrong and Missing Answers for Datalog Programs with Constraint Handling Rules”, 17th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2015, July.
  • [ASV15a] [BibTeX] F. Álvarez-Montero, F. Sáenz-Pérez and A. Vaquero, “Using Datalog to provide just-in-time feedback during the construction of concept maps”, Expert Systems with Applications Journal Vol. 42, Elsevier, 2015.
  • [Sae14b] [BibTeX] F. Sáenz-Pérez, "Improving the Deductive System DES with Persistence by Using SQL DBMS's", XIV Jornadas sobre Programación y Lenguajes, PROLE’2014 (SISTEDES), Cádiz, Spain, September, 2014.
  • [Sae14a] [BibTeX] F. Sáenz-Pérez, "Towards Bridging the Expressiveness Gap Between Relational and Deductive Databases", Electronic Communications of the EASST, Vol. 64, 2014.Journal version corresponding to [Sae13b].
  • [ANSS14b] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, "Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems", EPiC Vol. 26, July, 2014. Journal version corresponding to [ANSS13d].
  • [ANSS14a] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, "R-SQL: An SQL Database System with Extended Recursion", Electronic Communications of the EASST, Vol. 64, 2014.Journal version corresponding to [ANSS13c].
  • [ANSS13d] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, "Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems", LPAR-19, December, 2013.
  • [Sae13c] [BibTeX] [DOI] F. Sáenz-Pérez, "Implementing Tabled Hypothetical Datalog", IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013, Washington D.C., USA, November, 2013.
  • [Sae13b] [BibTeX] F. Sáenz-Pérez, "Towards Bridging the Expressiveness Gap Between Relational and Deductive Databases", XIII Jornadas sobre Programación y Lenguajes, PROLE’2013 (SISTEDES), Madrid, Spain, September, 2013. Slides
  • [ANSS13c] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "R-SQL: An SQL Database System with Extended Recursion", XIII Jornadas sobre Programación y Lenguajes, PROLE’2013 (SISTEDES), Madrid, Spain, September, 2013.
  • [CGS13a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Declarative Debugging of Wrong and Missing Answers for SQL Views", XIII Jornadas sobre Programación y Lenguajes, PROLE’2013 (SISTEDES), Madrid, Spain, September, 2013. Communication corresponding to [CGS12a].
  • [ANSS13b] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "An Extended Constraint Deductive Database: Theory and Implementation", The Journal of Logic and Algebraic Programming, Vol. 83, pp. 20-52, July, 2013.
  • [Sae13a] [BibTeX] F. Sáenz-Pérez, "Tabling with Support for Relational Features in a Deductive Database System", Electronic Communications of the EASST, Vol. 55, pp. 1-16, May, 2013. Journal version corresponding to [Sae12b]
  • [ANSS13a] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "Formalizing a  Broader Recursion Coverage in SQL", PADL 2013, Rome, Italy, January, 2013.
  • [ASV12a] [BibTeX] F. Álvarez-Montero, F. Sáenz-Pérez, A. Vaquero and H. Jacobo-García. “Logic Programming and Relational Databases for the Consistent Construction of Knowledge Maps”. GCCCE2012, 2012.
  • [Sae12b] [BibTeX] F. Sáenz-Pérez, "Tabling with Support for Relational Features in a Deductive Database System", XII Jornadas sobre Programación y Lenguajes, PROLE2012 (SISTEDES), pp. 87-101, Almería, Spain, September, 2012.
    Best paper award
  • [Sae12a] [BibTeX] F. Sáenz-Pérez, "Outer Joins in a Deductive Database System", Electronic Notes in Theoretical Computer Science, vol. 282, pp. 73-88, May, 2012. Journal version corresponding to [Sae11b]
  • [CGS12b] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Declarative Debugging of Wrong and Missing Answers for SQL Views", Technical Report SIC-10/12, 2012.
  • [CGS12a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Declarative Debugging of Wrong and Missing Answers for SQL Views", Eleventh International Symposium on Functional and Logic Programming, FLOPS 2012, LNCS 7294, Kobe, Japan, May, 2012.
  • [SCG11a] [BibTeX] F. Sáenz-Pérez, R. Caballero, and Y. García-Ruiz, "A Deductive Database with Datalog and SQL Query Languages", The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan, December, 2011.
  • [Sae11c] [BibTeX] F. Sáenz-Pérez, "From relational to deductive databases", XVI Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2011 (SISTEDES), pp. 73-86, A Coruña, Spain, September, 2011.
  • [Sae11b] [BibTeX] F. Sáenz-Pérez, "Outer Joins in a Deductive Database System", XI Jornadas sobre Programación y Lenguajes, PROLE2011 (SISTEDES), pp. 126-140, A Coruña, Spain, September, 2011.
  • [ANSS11a] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "Incorporating Integrity Constraints to a Deductive Database System", XI Jornadas sobre Programación y Lenguajes, PROLE2011 (SISTEDES), pp. 141-152, A Coruña, Spain, September, 2011. Ongoing work.
  • [CGS11b] [BibTeX] R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "Algorithmic Debugging of SQL Views", Eigth Ershov Invormatics Conference, PSI'11, Novosibirsk, Akademgorodok, Russia, June, 2011. Preliminary Proceedings.
  • [CGS11c] [BibTeX] R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "Declarative Debugging of SQL Views", Technical Report SIC-03/11, Facultad de Informática, Universidad Complutense de Madrid, 2011.
  • [Sae11a] [BibTeX] F. Sáenz-Pérez, "DES: A Deductive Database System", ENTCS 271, Elsevier, 2011. Journal version corresponding to [Sae10a].
  • [Sae10a] [BibTeX] F. Sáenz-Pérez, "DES: A Deductive Database System", X Jornadas sobre Programación y Lenguajes, PROLE2010 (SISTEDES), pp. 177-188, Valencia, Spain, September, 2010.
  • [ANSS10] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "A Prototype Constraint Deductive Database System based on HH(C)", X Jornadas sobre Programación y Lenguajes, PROLE2010 (SISTEDES), pp. 189-196, Valencia, Spain, September, 2010.
  • [CGS10a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Applying Constraint Logic Programming to SQL Test Case Generation", In 10th International Symposium on Functional and Logic Programming (FLOPS 2010), Springer, Lecture Notes in Computer Science 6009, Sendai, Japan, April, 2010.
  • [ANSS09b] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez y J. Sánchez-Hernández, "Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones", IX Jornadas sobre Programación y Lenguajes, PROLE'09, pp. 161-175 (15 pages), San Sebastián, Spain, September, 2009.
  • [ANSS09a] [BibTeX] G. Aranda-López, S. Nieva, F. Sáenz-Pérez and J. Sánchez-Hernández, "Implementing a Fixpoint Semantics for a Constraint Deductive Database",11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2009, pp. 117-128, Coimbra, Portugal, September, 2009.
  • [CGS08] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "A Theoretical Framework for the Declarative Debugging of Datalog Programs", In International Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), Springer, Lecture Notes in Computer Science, Nantes, Francia, In Press, March, 2008.
  • [NSS08] [BibTeX] S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, "Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation", 9th International Symposium on Functional and Logic Programming (FLOPS'08), Springer, Lecture Notes in Computer Science 4989, pp. 289-304, Ise, Japan, April, 2008.
  • [Sae07a] [BibTeX] Fernando Sáenz-Pérez, "DES: un recurso para el aprendizaje de bases de datos deductivas", Jornadas de Enseñanza Universitaria (JENUI), Thomson, pp. 433-440, 2007. Transparencias.
  • [CGS07] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "A New Proposal for Debugging Datalog Programs", In 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP'07), France, June, 2007.
  • [CGS06b] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Towards a Set Oriented Calculus for Logic Programming", Programación y Lenguajes, P. Lucio y F. Orejas (editores), CIMNE, pp. 41-50 (10 páginas), Barcelona, Spain, September, 2006.
  • [NSS06] [BibTeX] S. Nieva, F. Sáenz-Pérez, and J. Sánchez-Hernández, "Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas", Programación y Lenguajes, P. Lucio y F. Orejas (editores), CIMNE, pp. 171-182 (12 páginas), Barcelona, Spain, September, 2006.
  • [CGS06a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "SOCLP: A Set Oriented Calculus for Logic Programming", Technical Report SIP-02/2006, Facultad de Informática, Universidad Complutense de Madrid, June 2006.
  • [Sae04] [BibTeX] F. Sáenz-Pérez, "Datalog Educational System V1.1", User's Manual. Technical Report 139-04, Facultad de Informática, Universidad Complutense de Madrid, April 2004, http://des.sourceforge.net/