David Maier

David Maier (nacido el 2 de junio de 1953) es profesor Maseeh de Tecnologías Emergentes en el Departamento de Ciencias de la Computación de la Universidad Estatal de Portland . Nacido en Eugene, Oregón , también ha sido miembro de la facultad de ciencias de la computación en la Universidad Estatal de Nueva York en Stony Brook (1978-1982), el Centro de Graduados de Oregón (OGC, 1982-2001), la Universidad de Wisconsin (UW, 1997-1998), la Universidad de Salud y Ciencias de Oregón (2001-presente) y la Universidad Nacional de Singapur (2012-15). Tiene una licenciatura en Matemáticas y Ciencias de la Computación de la Universidad de Oregón (Honors College, 1974) y un doctorado en Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de Princeton (1978).

Maier ha sido presidente del comité de programa de ACM SIGMOD . También se desempeñó como editor asociado de ACM Transactions on Database Systems . Maier ha asesorado a Tektronix , Inc., Servio Corporation, Microelectronics and Computer Technology Corporation (MCC), Digital Equipment Corporation , Altair Engineering , Honeywell , Texas Instruments , IBM , Microsoft , Informix , Oracle Corporation , NCR y Object Design , así como a varias agencias gubernamentales. Es miembro fundador del Data-Intensive Systems Center (DISC), un proyecto conjunto de OGI y la Universidad Estatal de Portland . Es autor de libros sobre bases de datos relacionales , programación lógica y bases de datos orientadas a objetos , ^[1] así como artículos sobre teoría de bases de datos , tecnología orientada a objetos y bases de datos científicas. Recibió el Premio Presidencial al Joven Investigador de la Fundación Nacional de Ciencias en 1984 en OGC y fue galardonado con el Premio a la Innovación Edgar F. Codd de SIGMOD en 1997 por sus contribuciones en objetos y bases de datos en la UW. También es miembro de ACM .

Maier estableció algunos de los primeros resultados sobre el uso del modelo relacional . Junto con su asesor de tesis, Jeffrey Ullman , y otros estudiantes de Princeton, incluidos Alberto O. Mendelzon y Yehoshua Sagiv , fue coautor de varios artículos influyentes que expusieron los problemas y enfoques fundamentales para las bases de datos relacionales. En un artículo ahora famoso (Maier, Mendelzon y Sagiv, ACM Trans. Database Syst. 1979), presentó el chase, un método para probar la implicación de las dependencias de datos que ahora es de uso generalizado en la literatura de teoría de bases de datos. ^[2] Este trabajo ha sido muy influyente: lo utilizan, directa o indirectamente, a diario las personas que diseñan bases de datos, y se utiliza en sistemas comerciales para razonar sobre la consistencia y la corrección de un diseño de datos. Todavía se están descubriendo nuevas aplicaciones del chase en la gestión de metadatos y el intercambio de datos.

Se le atribuye la creación del término Datalog . ^[3]

Referencias

^ Malcolm P. Atkinson, François Bancilhon, David DeWitt , Klaus R. Dittrich, David Maier, Stanley Zdonik : El Manifiesto del Sistema de Base de Datos Orientado a Objetos. DOOD 1989: 223-240.
^ David Maier, Alberto O. Mendelzon , Yehoshua Sagiv : Prueba de implicaciones de dependencias de datos. ACM Trans. Database Syst. 4(4): 455-469 (1979).
^ Serge Abiteboul , Richard Hull, Victor Vianu : Fundamentos de bases de datos. p305 [1].

Página de inicio de David Maier: http://web.cecs.pdx.edu/~maier/
Su libro sobre teoría de bases de datos, ahora disponible en línea: http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html

[1] Malcolm P. Atkinson, François Bancilhon, David DeWitt , Klaus R. Dittrich, David Maier, Stanley Zdonik : El Manifiesto del Sistema de Base de Datos Orientado a Objetos. DOOD 1989: 223-240.

[2] David Maier, Alberto O. Mendelzon , Yehoshua Sagiv : Prueba de implicaciones de dependencias de datos. ACM Trans. Database Syst. 4(4): 455-469 (1979).

[3] Serge Abiteboul , Richard Hull, Victor Vianu : Fundamentos de bases de datos. p305 [1].