Datos de la tesis doctoral

Facultad de Informática

Volver atrás

- no title specified
    
 

DATOS DE LA TESIS

  
 

Titulo

Técnicas de Detección y Diagnosis de Errores en Consultas de Bases de Datos

 
 

Doctorando

Yolanda García Ruiz

 
 

Director(es)

Rafael Caballero Roldán

 
 

Universidad

Universidad Complutense de Madrid

 
 

Año de lectura

2014

 
 

Doctorado europeo (si/no)

No

 
    
 

Publicaciones de la tesis

  
    
 

c) Ponencias

  
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

Applying Constraint Logic Programming to SQL Test Case Generation

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Functional and Logic Programming (FLOPS 2010)

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia(paper)

 
 

ISSN/ISBN

978-3-642-12250-7

 
 

VOLUMEN

6009

 
 

PÁGINAS

DESDE 191

 
 

HASTA 206

 
 

LUGAR DE CELEBRACIÓN

Sendai - Japan

 
 

FECHA DE CELEBRACIÓN

04/10

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: core 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): A

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

Algorithmic Debugging of SQL Views

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference (PSI 2011)

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia(paper)

 
 

ISSN/ISBN

978-3-642-29708-3

 
 

VOLUMEN

7162

 
 

PÁGINAS

DESDE 77

 
 

HASTA 85

 
 

LUGAR DE CELEBRACIÓN

Novosibirsk, Russia

 
 

FECHA DE CELEBRACIÓN

07/11

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: core 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): B

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

Integrating XPath with the functional-logic language Toy

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Practical Aspects of Declarative Languages (PADL 2011)

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia(paper)

 
 

ISSN/ISBN

978-3-642-18377-5

 
 

VOLUMEN

6539

 
 

PÁGINAS

DESDE 145

 
 

HASTA 159

 
 

LUGAR DE CELEBRACIÓN

Austin, TX, USA

 
 

FECHA DE CELEBRACIÓN

01/11

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:  CORE 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): B

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

A Declarative Embedding of XQuery in a Functional-Logic Language

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Logic-based Program Synthesis and Transformation (LOPSTR 2011).

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

978-3-642-32210-5

 
 

VOLUMEN

7225

 
 

PÁGINAS

DESDE 52

 
 

HASTA 56

 
 

LUGAR DE CELEBRACIÓN

 Odense, Denmark

 
 

FECHA DE CELEBRACIÓN

07/11

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): B

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas): 3

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

Declarative Debugging of Wrong and Missing Answers for SQL Views

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Functional and Logic Programming (FLOPS 2012).

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

978-3-642-29821-9

 
 

VOLUMEN

7294

 
 

PÁGINAS

DESDE 73

 
 

HASTA 87

 
 

LUGAR DE CELEBRACIÓN

Kobe, Japan

 
 

FECHA DE CELEBRACIÓN

05/12

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:  CORE 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): A

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):  

 
 

Nº DE CITAS (si se sabe, excl. autocitas):  

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

A New Proposal for Debugging Datalog Programs

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Functional and (Constraint) Logic Programming (WFLP 2007)

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

  
 

VOLUMEN

216

 
 

PÁGINAS

DESDE 79

 
 

HASTA 92

 
 

LUGAR DE CELEBRACIÓN

Paris, France

 
 

FECHA DE CELEBRACIÓN

09/07

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:  CORE 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): C

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

A theoretical framework for the declarative debugging of datalog programs

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Semantics in Data and Knowledge Bases (SDKB 2008).

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

978-3-540-88593-1

 
 

VOLUMEN

4925

 
 

PÁGINAS

DESDE 143

 
 

HASTA 159

 
 

LUGAR DE CELEBRACIÓN

Nantes, France,

 
 

FECHA DE CELEBRACIÓN

03/08

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

 
 

Categoría del congreso (si existe; p.ej. A, A+):

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

XQuery in the Functional-Logic Language Toy

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011).

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

978-3-642-22530-7

 
 

VOLUMEN

6816

 
 

PÁGINAS

DESDE 35

 
 

HASTA 51

 
 

LUGAR DE CELEBRACIÓN

Odense, Denmark

 
 

FECHA DE CELEBRACIÓN

07/11

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE 2008

 
 

Categoría del congreso (si existe; p.ej. A, A+): C

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

XPath Query Processing in a Functional-Logic Language

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Jornadas of PROgramación y LEnguajes (PROLE 2011 - SISTEDES 2011

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

  
 

VOLUMEN

282

 
 

PÁGINAS

DESDE 19

 
 

HASTA 34

 
 

LUGAR DE CELEBRACIÓN

A Coruña, Spain

 
 

FECHA DE CELEBRACIÓN

09/11

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

 
 

Categoría del congreso (si existe; p.ej. A, A+):

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):

 
    
 

AUTORES

Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez

 
 

TÍTULO

Towards a set oriented calculus for logic programming

 
 

ENTIDAD ORGANIZADORA

  
 

CONGRESO:

Jornadas of PROgramación y LEnguajes (PROLE 2006)

 
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

 
 

ISSN/ISBN

  
 

VOLUMEN

  
 

PÁGINAS

DESDE 25

 
 

HASTA 34

 
 

LUGAR DE CELEBRACIÓN

Sitges, Spain

 
 

FECHA DE CELEBRACIÓN

10/06

 
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

 
 

Categoría del congreso (si existe; p.ej. A, A+):

 
 

Posición del congreso en el ranking (si existe):

 
 

Nº de congresos en el ranking (si existe):

 
 

Nº DE CITAS (si se sabe, excl. autocitas):

 
 

OTROS INDICIOS (si se sabe):