Gabriel Aranda-López

According to our database, Gabriel Aranda-López authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2014

An extended constraint deductive database: Theory and implementation.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

J. Log. Algebraic Methods Program., 2014

2013

Formalizing a Broader Recursion Coverage in SQL.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the Practical Aspects of Declarative Languages, 2013

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the LPAR 2013, 2013

2009

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009