Travelled to:1 × Italy
1 × Portugal
Collaborated with:S.Nieva F.Sáenz-Pérez J.Sánchez-Hernández
Talks about:hereditari (1) constraint (1) implement (1) formula (1) databas (1) coverag (1) broader (1) semant (1) recurs (1) harrop (1)
Person: Gabriel Aranda-López
DBLP: Aranda-L=oacute=pez:Gabriel
Contributed to:
2013
2009Wrote 2 papers:
- PADL-2013-Aranda-LopezNSS #formal method #recursion #sql
- Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
- PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.