David Maier
Encyclopedia
David Maier is a professor of computer science at Portland State University
.
He has been chairman of the program committee of ACM SIGMOD
. He also served as an associate editor of ACM Transactions on Database Systems
. Maier has consulted with Tektronix
, Inc., Servio Corporation, the Microelectronics and Computer Technology Corporation
(MCC), Digital Equipment Corporation
, Altair, Honeywell
, Texas Instruments
, IBM
, Microsoft
, Informix
, Oracle Corporation
, NCR
, and Object Design, as well as several governmental agencies. He is a founding member of the Data-Intensive Systems Center (DISC), a joint project of OGI
and Portland State University
. He is the author of books on relational databases, logic programming and object-oriented databases, as well as papers in database theory
, object-oriented technology and scientific databases. He received the Presidential Young Investigator Award
from the National Science Foundation
in 1984 and was awarded the 1997 SIGMOD Edgar F. Codd Innovations Award
for his contributions in objects and databases. He is also an ACM Fellow. He holds a B.A. in Mathematics and Computer Science from the University of Oregon (Honors College, 1974) and a Ph.D. in Electrical Engineering and Computer Science by Princeton University
(1978).
Maier established some of the earliest results on using the relational model
. Together with his thesis advisor, Jeffrey Ullman
, and fellow Princeton students, including Alberto O. Mendelzon
and Yeshoshua Sagiv, he co-authored a number of influential papers that laid out the fundamental issues and approaches for relational databases. In a now-famous paper (Maier, Mendelzon and Sagiv, TODS 1979), he introduced the chase, a method for testing implication of data dependencies that is now of widespread use in the database theory literature. This work has been highly influential: it is used, directly or indirectly, on an everyday basis by people who design databases, and it is used in commercial systems to reason about the consistency and correctness of a data design. New applications of the chase in meta-data management and data exchange are still being discovered.
He is credited for coining the term Datalog
.
Portland State University
Portland State University is a public state urban university located in downtown Portland, Oregon, United States. Founded in 1946, it has the largest overall enrollment of any university in the state of Oregon, including undergraduate and graduate students. It is also the only public university in...
.
He has been chairman of the program committee of ACM SIGMOD
SIGMOD
SIGMOD is the Association for Computing Machinery's Special Interest Group on Management of Data, which specializes in large-scale data management problems and databases....
. He also served as an associate editor of ACM Transactions on Database Systems
ACM Transactions on Database Systems
The ACM Transactions on Database Systems is one of the journals produced by the Association for Computing Machinery. TODS publishes one volume yearly. Each volume has four issues, which appear in March, June, September and December....
. Maier has consulted with Tektronix
Tektronix
Tektronix, Inc. is an American company best known for its test and measurement equipment such as oscilloscopes, logic analyzers, and video and mobile test protocol equipment. In November 2007, Tektronix became a subsidiary of Danaher Corporation....
, Inc., Servio Corporation, the Microelectronics and Computer Technology Corporation
Microelectronics and Computer Technology Corporation
Microelectronics and Computer Technology Corporation was the first, and - at one time - one of the largest, computer industry research and development consortia in the United States....
(MCC), Digital Equipment Corporation
Digital Equipment Corporation
Digital Equipment Corporation was a major American company in the computer industry and a leading vendor of computer systems, software and peripherals from the 1960s to the 1990s...
, Altair, Honeywell
Honeywell
Honeywell International, Inc. is a major conglomerate company that produces a variety of consumer products, engineering services, and aerospace systems for a wide variety of customers, from private consumers to major corporations and governments....
, Texas Instruments
Texas Instruments
Texas Instruments Inc. , widely known as TI, is an American company based in Dallas, Texas, United States, which develops and commercializes semiconductor and computer technology...
, IBM
IBM
International Business Machines Corporation or IBM is an American multinational technology and consulting corporation headquartered in Armonk, New York, United States. IBM manufactures and sells computer hardware and software, and it offers infrastructure, hosting and consulting services in areas...
, Microsoft
Microsoft
Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions...
, Informix
Informix
IBM Informix is a family of relational database management system developed by IBM. It is positioned as IBM's flagship data server for online transaction processing as well as integrated solutions...
, Oracle Corporation
Oracle Corporation
Oracle Corporation is an American multinational computer technology corporation that specializes in developing and marketing hardware systems and enterprise software products – particularly database management systems...
, NCR
NCR Corporation
NCR Corporation is an American technology company specializing in kiosk products for the retail, financial, travel, healthcare, food service, entertainment, gaming and public sector industries. Its main products are self-service kiosks, point-of-sale terminals, automated teller machines, check...
, and Object Design, as well as several governmental agencies. He is a founding member of the Data-Intensive Systems Center (DISC), a joint project of OGI
Ogi
Ogi may refer to:*Ogi , a fermented cereal porridge*Ogi, Oita, a city in Oita, Japan*Ogi, Saga, a city in Saga, Japan*Ontario Genomics Institute*Oregon Graduate Institute*Ogi Station-People:*Adolf Ogi, Swiss politician*Aritatsu Ogi...
and Portland State University
Portland State University
Portland State University is a public state urban university located in downtown Portland, Oregon, United States. Founded in 1946, it has the largest overall enrollment of any university in the state of Oregon, including undergraduate and graduate students. It is also the only public university in...
. He is the author of books on relational databases, logic programming and object-oriented databases, as well as papers in database theory
Database theory
Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems....
, object-oriented technology and scientific databases. He received the Presidential Young Investigator Award
Presidential Young Investigator Award
The Presidential Young Investigator Award was awarded by the National Science Foundation. The program operated from 1984 to 1991, and was replaced by the NSF Young Investigator Awards and Presidential Faculty Fellows Program...
from the National Science Foundation
National Science Foundation
The National Science Foundation is a United States government agency that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National Institutes of Health...
in 1984 and was awarded the 1997 SIGMOD Edgar F. Codd Innovations Award
SIGMOD Edgar F. Codd Innovations Award
The ACM SIGMOD Edgar F. Codd Innovations Award is a lifetime research achievement award given by the ACM Special Interest Group on Management of Data, at its yearly flagship conference...
for his contributions in objects and databases. He is also an ACM Fellow. He holds a B.A. in Mathematics and Computer Science from the University of Oregon (Honors College, 1974) and a Ph.D. in Electrical Engineering and Computer Science by Princeton University
Princeton University
Princeton University is a private research university located in Princeton, New Jersey, United States. The school is one of the eight universities of the Ivy League, and is one of the nine Colonial Colleges founded before the American Revolution....
(1978).
Maier established some of the earliest results on using the relational model
Relational model
The relational model for database management is a database model based on first-order predicate logic, first formulated and proposed in 1969 by Edgar F...
. Together with his thesis advisor, Jeffrey Ullman
Jeffrey Ullman
Jeffrey David Ullman is a renowned computer scientist. His textbooks on compilers , theory of computation , data structures, and databases are regarded as standards in their fields.-Early life & Career:Ullman received a Bachelor of Science degree in Engineering...
, and fellow Princeton students, including Alberto O. Mendelzon
Alberto O. Mendelzon
Alberto O. Mendelzon was an Argentine-Canadian computer scientist who died on June 16, 2005.Alberto Mendelzon was born in Buenos Aires, Argentina. He received a Ph.D. degree from Princeton University in 1979, where his advisor was Jeffrey Ullman. After that he was a post-doctoral fellow at the IBM...
and Yeshoshua Sagiv, he co-authored a number of influential papers that laid out the fundamental issues and approaches for relational databases. In a now-famous paper (Maier, Mendelzon and Sagiv, TODS 1979), he introduced the chase, a method for testing implication of data dependencies that is now of widespread use in the database theory literature. This work has been highly influential: it is used, directly or indirectly, on an everyday basis by people who design databases, and it is used in commercial systems to reason about the consistency and correctness of a data design. New applications of the chase in meta-data management and data exchange are still being discovered.
He is credited for coining the term Datalog
Datalog
Datalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases...
.