Home
Teaching
R+D
Publications
Contact
Databases

DISCLAIMER: This directory contains 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 since 2004 (reverse chronological order):

  • [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, Kobe, Japan, May, 2012. In Press
  • [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), ISBN: 978-84-9749-486-1, 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), ISBN: 978-84-9749-487-8, 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), ISBN: 978-84-9749-487-8, 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,  ISSN: 1571-0661, 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), ISBN: 978-84-92812-55-4, 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), ISBN: 978-84-92812-55-4, 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, ISBN: 978-84-692-4600-9, 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, ISBN: 978-1-60558-568-0, 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, ISBN: 978-84-9732-620-9, 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), ISBN: 84-95999-84-6,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), ISBN: 84-95999-84-6, 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/
[Home] [Teaching] [R+D] [Publications] [Contact]