獲圖靈獎(jiǎng)的三位數(shù)據(jù)庫專家介紹

獲圖靈獎(jiǎng)的三位數(shù)據(jù)庫專家第一頁，共二十頁。圖靈獎(jiǎng)

圖靈獎(jiǎng)最早設(shè)立于1966年，是美國計(jì)算機(jī)協(xié)會(huì)在計(jì)算機(jī)技術(shù)方面所授予的最高獎(jiǎng)項(xiàng)，被喻為計(jì)算機(jī)界的諾貝爾獎(jiǎng)。它是以英國數(shù)學(xué)天才AlanTuring先生的名字命名的，AlanTuring先生對(duì)早期計(jì)算的理論和實(shí)踐做出了突出的貢獻(xiàn)。圖靈獎(jiǎng)主要授予在計(jì)算機(jī)技術(shù)領(lǐng)域做出突出貢獻(xiàn)的個(gè)人。而這些貢獻(xiàn)必須對(duì)計(jì)算機(jī)技術(shù)有長遠(yuǎn)而重要的影響。第二頁，共二十頁。圖靈獎(jiǎng)每年，美國計(jì)算機(jī)協(xié)會(huì)將要求提名人推薦本年度的圖靈獎(jiǎng)候選人，并附加一份200到500字的文章，說明被提名者為什么應(yīng)獲此獎(jiǎng)。任何人都可成為提名人。美國計(jì)算機(jī)協(xié)會(huì)將組成評(píng)選委員會(huì)對(duì)被提名者進(jìn)行嚴(yán)格的審核，并最終確定當(dāng)年的獲獎(jiǎng)?wù)?。迄今為止已?位在數(shù)據(jù)庫領(lǐng)域做出突出貢獻(xiàn)的科學(xué)家獲此殊榮。第三頁，共二十頁。查爾斯·巴赫曼20世紀(jì)60年代中期以來，數(shù)據(jù)庫技術(shù)的形成、發(fā)展和日趨成熟，使計(jì)算機(jī)數(shù)據(jù)處理技術(shù)躍上了一個(gè)新臺(tái)階，并且極大的推動(dòng)了計(jì)算機(jī)的普及與應(yīng)用。因此，1973年的圖靈獎(jiǎng)首次授予在這方面作出杰出貢獻(xiàn)的數(shù)據(jù)庫先驅(qū)查爾斯·巴赫曼（CharlesW.Bachman）。第四頁，共二十頁。查爾斯·巴赫曼主要經(jīng)歷：1924年12月11日生于堪薩斯州的曼哈頓；1948年在密歇根州立大學(xué)取得工學(xué)學(xué)士學(xué)位；1950年在賓夕法尼亞大學(xué)取得碩士學(xué)位；20世紀(jì)50年代在Dow化工公司工作；1961－1970年在通用電氣公司任程序設(shè)計(jì)部門經(jīng)理；1970－1981年在Honeywell公司任總工程師，同時(shí)兼任Culllinet軟件公司的副總裁和產(chǎn)品經(jīng)理。1983年巴赫曼創(chuàng)辦了自己的公司BachmanInformationSystem，Inc.。第五頁，共二十頁。查爾斯·巴赫曼主要成就：巴赫曼在數(shù)據(jù)庫方面的主要貢獻(xiàn)有兩項(xiàng)第一就是在通用電氣公司任程序設(shè)計(jì)部門經(jīng)理期間，主持設(shè)計(jì)與開發(fā)了最早的網(wǎng)狀數(shù)據(jù)庫管理系統(tǒng)IDS。IDS于1964年推出以后，成為最受歡迎的數(shù)據(jù)庫產(chǎn)品之一，而且它的設(shè)計(jì)思想和實(shí)現(xiàn)技術(shù)被后來的許多數(shù)據(jù)庫產(chǎn)品所仿效。其二就是巴赫曼積極推動(dòng)與促進(jìn)了數(shù)據(jù)庫標(biāo)準(zhǔn)的制定，那就是美國數(shù)據(jù)系統(tǒng)語言委員會(huì)CODASYL下屬的數(shù)據(jù)庫任務(wù)組DBTG提出的網(wǎng)狀數(shù)據(jù)庫模型及數(shù)據(jù)定義和數(shù)據(jù)操縱語言，即DDL和DML的規(guī)范說明，于1971年推出了第一個(gè)正式報(bào)告—DBTC報(bào)告，成為數(shù)據(jù)庫歷史上具有里程碑意義的文獻(xiàn)。第六頁，共二十頁。查爾斯·巴赫曼

DBTG首次確定了數(shù)據(jù)庫的三層體系結(jié)構(gòu)，明確了數(shù)據(jù)庫管理員DBA(DataBaseAdministrator)的概念，規(guī)定了DBA的作用與地位。DGTG系統(tǒng)雖然是一種方案而非實(shí)際的數(shù)據(jù)庫，但它所提出的基本概念卻具有普遍意義，不但國際上大多數(shù)網(wǎng)狀數(shù)據(jù)庫管理系統(tǒng)，如IDMS、PRIMEDBMS、DMS170、DMSⅡ和DMS1100等都遵循或基本遵循DBTG模型，而且對(duì)后來產(chǎn)生和發(fā)展的關(guān)系數(shù)據(jù)庫技術(shù)也有很重要的影響，其體系結(jié)構(gòu)也遵循DBTG的三級(jí)模式。

由于，巴赫曼在以上兩方面的杰出貢獻(xiàn)，巴赫曼被理所當(dāng)然地公認(rèn)為“網(wǎng)狀數(shù)據(jù)庫之父”或“DBTG之父”，在數(shù)據(jù)庫技術(shù)的產(chǎn)生、發(fā)展與推廣應(yīng)用等各方面都發(fā)揮了巨大的作用。

第七頁，共二十頁。埃德加·科德埃德加·弗蘭克·科德（英文:EdgarFrank"Ted"Codd）（1923年8月23日－2003年4月18日）是一位英國計(jì)算機(jī)科學(xué)家。他為關(guān)系型數(shù)據(jù)庫理論做出了奠基性的貢獻(xiàn)。他在IBM工作期間，首創(chuàng)了關(guān)系模型理論。他一生中為計(jì)算機(jī)科學(xué)做出了很多有價(jià)值的貢獻(xiàn)，而關(guān)系模型，作為一個(gè)在數(shù)據(jù)庫管理方面非常具有影響力的基礎(chǔ)理論，仍然被認(rèn)為是他最引人矚目的成就。第八頁，共二十頁。埃德加·科德—主要成就

在數(shù)據(jù)庫技術(shù)發(fā)展的歷史上，1970年是發(fā)生偉大轉(zhuǎn)折的一年。這一年的6月，IBM圣約瑟研究實(shí)驗(yàn)室的高級(jí)研究員埃德加·科德（EdgarFrankCodd）在CommunicationsofACM上發(fā)表了題為“用于大型共享數(shù)據(jù)庫的關(guān)系數(shù)據(jù)模型”一文。ACM后來在1983年把這篇論文列為從1958年以來的四分之一個(gè)世紀(jì)中具有里程碑式意義的最重要的25篇研究論文之一，因?yàn)樗状蚊鞔_而清晰地為數(shù)據(jù)庫系統(tǒng)提出了一種嶄新的模型即關(guān)系模型。第九頁，共二十頁。埃德加·科德—主要成就用關(guān)系的概念來建立數(shù)據(jù)模型，用以描述、設(shè)計(jì)與操縱數(shù)據(jù)庫，是

Codd在1970年的這篇論文中的創(chuàng)舉。由于關(guān)系模型簡(jiǎn)單明了，有堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)，一經(jīng)提出，立即引起學(xué)術(shù)界和產(chǎn)業(yè)界的廣泛重視和響應(yīng)，從理論與實(shí)踐兩個(gè)方面都對(duì)數(shù)據(jù)庫技術(shù)產(chǎn)生了強(qiáng)烈的沖擊。在關(guān)系模型提出之前已經(jīng)存在多年的基于層次模型和網(wǎng)狀模型的數(shù)據(jù)庫產(chǎn)品很快走向衰敗以至消亡，一大批關(guān)系數(shù)據(jù)庫系統(tǒng)很快被開發(fā)出來并迅速商品化，占領(lǐng)了市場(chǎng)，其交替速度之快，除舊布新之徹底是軟件史上所罕見的?；?0世紀(jì)70年代中后期和80年代初期這一十分引人注目的現(xiàn)象，1981年的圖靈獎(jiǎng)很自然地授予了這位“關(guān)系數(shù)據(jù)庫之父”。第十頁，共二十頁。埃德加·科德--生平介紹Codd原是英國人，1923年8月19日生于英格蘭中部瀕臨大西洋的港口城市波特蘭(Portland)。第二次世界大戰(zhàn)爆發(fā)以后，年青的Codd應(yīng)征人伍，在皇家空軍服役，1942－1945年間任機(jī)長，參與了許多驚心動(dòng)魄的空戰(zhàn)，為反法西斯戰(zhàn)爭(zhēng)立下了汗馬功勞。二戰(zhàn)結(jié)束以后，Codd上牛津大學(xué)學(xué)習(xí)數(shù)學(xué)，于1948年取得學(xué)士和碩士學(xué)位以后，遠(yuǎn)渡大西洋到美國謀求發(fā)展，先在IBM公司取得一個(gè)職位，為IBM初期的計(jì)算機(jī)之一SSEC(SelectiveSequenceElectronicCalculator)編制程序，為他的計(jì)算機(jī)生涯奠定了基礎(chǔ)。1953年，他應(yīng)聘到加拿大渥太華的ComputingDevice公司工作，出任加拿大開發(fā)導(dǎo)彈項(xiàng)目的經(jīng)理。第十一頁，共二十頁。埃德加·科德--生平介紹1957年Codd重返美國IBM，任“多道程序設(shè)計(jì)系統(tǒng)”的部門主任，其間參加了IBM第一臺(tái)科學(xué)計(jì)算機(jī)701和第一臺(tái)大型晶體管計(jì)算機(jī)STRETCH的邏輯設(shè)計(jì)。STRETCH完成于1961年，它有許多創(chuàng)新技術(shù)，因而在計(jì)算機(jī)發(fā)展史上有重要意義和影響。Codd在STRETCH的研制中主持了第一個(gè)有多道程序設(shè)計(jì)能力的操作系統(tǒng)的開發(fā)。1959年11月，他在《ACM通訊》上發(fā)表的介紹STRETCH的多道程序操作系統(tǒng)的文章，是這方面的最早的學(xué)術(shù)論文之一。而尤其難能可貴的是，Codd由于在工作中發(fā)覺自己缺乏硬件知識(shí)，影響了在這些重大工程中發(fā)揮更大的作用，在20世紀(jì)60年代初毅然決定重返大學(xué)校園(當(dāng)時(shí)他已年近40)，到密歇根大學(xué)進(jìn)修計(jì)算機(jī)與通信專業(yè)，并于1963年獲得碩士學(xué)位，1965年又獲得博士學(xué)位。這使他的理論基礎(chǔ)更加扎實(shí)，專業(yè)知識(shí)更加豐富，加上他在此之前十幾年的實(shí)踐經(jīng)驗(yàn)的豐富積累，終于在1970年迸發(fā)出智慧的閃光，為數(shù)據(jù)庫技術(shù)開辟了一個(gè)新時(shí)代。第十二頁，共二十頁。埃德加·科德--生平介紹由于數(shù)據(jù)庫是計(jì)算機(jī)各種應(yīng)用的基礎(chǔ)，關(guān)系模型的提出不僅為數(shù)據(jù)庫技術(shù)的發(fā)展奠定了基礎(chǔ)，同時(shí)也為計(jì)算機(jī)的普及應(yīng)用提供了極大的動(dòng)力。在Codd提出關(guān)系模型以后，IBM投巨資開展關(guān)系數(shù)據(jù)庫管理系統(tǒng)的研究，其SystemR項(xiàng)目的研究成果極大地推動(dòng)了關(guān)系數(shù)據(jù)庫技術(shù)的發(fā)展，在此基礎(chǔ)上推出的DB2和SQL等產(chǎn)品成為IBM的主流產(chǎn)品。1970年以后，Codd繼續(xù)致力于完善和發(fā)展關(guān)系理論。1972年，他提出了關(guān)系代數(shù)和關(guān)系演算，為日后成為標(biāo)準(zhǔn)的結(jié)構(gòu)化查詢語言SQL奠定了基礎(chǔ)。Codd還創(chuàng)辦了一個(gè)研究所：關(guān)系研究所(TheRelationalInstitute)和一個(gè)公司：Codd&Associations，進(jìn)行關(guān)系數(shù)據(jù)庫產(chǎn)品的研發(fā)與銷售。Codd本人則是美國國內(nèi)和國外許多企業(yè)的數(shù)據(jù)庫技術(shù)顧問。1990年，他編寫出版了專著《數(shù)據(jù)庫管理的關(guān)系模型：第二版》，全面總結(jié)了他幾十年的理論探索和實(shí)踐經(jīng)驗(yàn)。第十三頁，共二十頁。埃德加·科德--生平介紹

向Codd頒發(fā)圖靈獎(jiǎng)的儀式是1981年11月9日在洛杉磯召開的ACM年會(huì)上舉行的，由ACM主席鄧寧（P.Denning）親自授獎(jiǎng)并致詞。Codd發(fā)表了題為“關(guān)系數(shù)據(jù)庫庫：提高生產(chǎn)率的實(shí)際基礎(chǔ)”的演說。演說中，Codd說明了他當(dāng)初提出關(guān)系數(shù)據(jù)模型的動(dòng)機(jī)，強(qiáng)調(diào)了數(shù)據(jù)操縱語言既要有交互能力，又要能嵌入主語言程序的重要性。Codd是美國工程院院士，已于1984年從IBM退休。第十四頁，共二十頁。詹姆斯·格雷1998年度的圖靈獎(jiǎng)授予了聲譽(yù)卓著的數(shù)據(jù)庫專家詹姆斯·格雷。這是圖靈獎(jiǎng)?wù)Q生32年的歷史上，繼數(shù)據(jù)庫技術(shù)的先驅(qū)者查爾斯.巴赫曼和關(guān)系數(shù)據(jù)庫之父埃德加·科德之后，第三位因在推動(dòng)數(shù)據(jù)庫技術(shù)的發(fā)展中作出重大貢獻(xiàn)而獲此殊榮的學(xué)者。第十五頁，共二十頁。詹姆斯·格雷—主要經(jīng)歷格雷生于1944年，在著名的美國伯克利分校計(jì)算機(jī)科學(xué)系獲得博士學(xué)位。學(xué)成以后在貝爾實(shí)驗(yàn)室、IBM、Tandem、DEC等公司工作，研究方向轉(zhuǎn)向數(shù)據(jù)庫領(lǐng)域。

在IBM期間，他參與和主持過IMS、SystemR、SQL/DS、DB2等項(xiàng)目的開發(fā)，其中除SystemR僅作為研究原型，沒有成為產(chǎn)品外，其他幾個(gè)都成為IBM在數(shù)據(jù)庫市場(chǎng)上有影響力的產(chǎn)品。在Tandem期間，格雷對(duì)該公司的主要數(shù)據(jù)庫產(chǎn)品ENCOMPASS進(jìn)行了改進(jìn)與擴(kuò)充，并參與了系統(tǒng)字典、并行排序、分布式SQL、NonstopSQL等項(xiàng)目的研制工作。第十六頁，共二十頁。詹姆斯·格雷—主要經(jīng)歷在DEC，他仍然主要負(fù)責(zé)數(shù)據(jù)庫產(chǎn)品的技術(shù)。格雷進(jìn)入數(shù)據(jù)庫領(lǐng)域時(shí)，關(guān)系數(shù)據(jù)庫的基本理論已經(jīng)成熟，但各大公司在關(guān)系數(shù)據(jù)庫管理系統(tǒng)（RDBMS）的實(shí)現(xiàn)和產(chǎn)品開發(fā)中，都遇到了一系列技術(shù)問題，主要是在數(shù)據(jù)庫的規(guī)模愈來愈大，數(shù)據(jù)庫的結(jié)構(gòu)愈來愈復(fù)雜，又有愈來愈多的用戶共享數(shù)據(jù)庫的情況下，如何保障數(shù)據(jù)的完整性（Integrity）、安全性（Security）、并發(fā)性（Concurrency），以及一旦出現(xiàn)故障后，數(shù)據(jù)庫如何實(shí)現(xiàn)從故障中恢復(fù)（Recovery）。這些問題如果不能圓滿解決，無論哪個(gè)公司的數(shù)據(jù)庫產(chǎn)品都無法進(jìn)入實(shí)用，最終不能被用戶所接受。正是在解決這些重大的技術(shù)問題，使DBMS成熟并順利進(jìn)入市場(chǎng)的過程中，格雷以他的聰明才智發(fā)揮了十分關(guān)鍵的作用。第十七頁，共二十頁。詹姆斯·格雷—主要成就

格雷在事務(wù)處理技術(shù)上的創(chuàng)造性思維和開拓性工作，使他成為該技術(shù)領(lǐng)域公認(rèn)的權(quán)威。他的研究成果反映在他發(fā)表的一系列論文和研究報(bào)告之中，最后結(jié)晶為一部厚厚的專著TransactionProcessing:ConceptsandTechniques(MorganKaufmannPublishers,1993，另一作者為德國斯圖加特大學(xué)的A.Reuter教授)。事務(wù)處理技術(shù)雖然誕生于數(shù)據(jù)庫研究，但對(duì)于分布式系統(tǒng)，client/server結(jié)構(gòu)中的數(shù)據(jù)管理與通信，對(duì)于容錯(cuò)和高可靠性系統(tǒng)，同樣具有重要的意義。

格雷的另一部著作是TheBenchmarkHandbook:forDatabaseandTransactionProcessingSystems,第1版于1991年，第2版于1993年出版，也是MorganKaufmann出版社出版的。格雷還是該出版社“數(shù)據(jù)管理系統(tǒng)叢書”的主編。第十八頁，共二十頁。詹姆斯·格雷—主要成就

鑒于在開發(fā)SystemR過程中的突出貢獻(xiàn)，格雷等6人于1988年被ACM授予軟件系統(tǒng)獎(jiǎng)。正是由于格雷在數(shù)據(jù)庫技術(shù)方面的聲譽(yù)，軟件業(yè)中的“巨無霸”微軟公司在1993年決定進(jìn)入大型關(guān)系數(shù)據(jù)庫市場(chǎng)時(shí)，才不惜用各種手段把格雷從DEC公司挖過來。格雷果然不負(fù)所望，領(lǐng)導(dǎo)一個(gè)研制小組開發(fā)出了MSSQLServer7.0,成為微軟歷史上一個(gè)里程碑式的版本，而且也成為當(dāng)今關(guān)系數(shù)據(jù)庫市場(chǎng)上的佼佼者。

格雷于1999年5月4日在亞特蘭大舉行的ACM全國會(huì)議上接受圖靈獎(jiǎng)，并發(fā)表了“信息技術(shù)今后的目標(biāo)”的演說，縱論了信息技術(shù)發(fā)展中有關(guān)的幾個(gè)方向性問題。目前，格雷本人正在從事Scalaility這一長期目標(biāo)的研究，他是微軟“規(guī)模可伸縮的服務(wù)器研究小組”（ScalableServersResearchGroup）高級(jí)研究員，該項(xiàng)目已有若干研究成果在網(wǎng)上公布。第十九頁，共二十頁。內(nèi)容總結(jié)獲圖靈獎(jiǎng)的。