Breve curso en reformulación de consultas a bases de datos – visita de Oxford

El profesor Michael Benedikt, del Departamento de Ciencia de la Computación de la Universidad de Oxford, nos visitará en mayo. Durante su estadía dictará un tutorial de 4 clases: ...

Breve curso en reformulación de consultas a bases de datos – visita de Oxford

Nos visita el profesor Michael Benedikt del Departamento de Ciencia de la Computación de la Universidad de Oxford.

Durante su estadía dictará un tutorial de 4 clases: “Logic-based Approaches to Reformulation of Database Queries”. Estos tutoriales se realizarán todos los martes de mayo a las 14:00 en el Departamento de Ciencia de la Computación, sala Álvaro Campos.

Michael Benedikt

La tarea básica en administración de bases de datos implica tomar una consulta definida en un vocabulario y traducirla a una consulta en otro vocabulario.  Trabajaremos un enfoque a la reformulación de consultas por la vía de resultados básicos en lógica. (Extracto de la descripción del curso).
Michael Benedict es profesor en el departamento de ciencia de la computación en la Universidad de Oxford.  También es un “fellow” de dicha universidad. Llegó a Oxford luego de una década en laboratorios de investigación en EE.UU., incluyendo Bell Laboratories.
Sus áreas de trabajo han sido lógica matemática, teoría de modelos finitos, verificación, teoría de bases de datos.  Actualmente enfoca su investigación en administración de datos en la web.
Anfitrión: profesor Cristián Riveros