阿里云與浙大斬獲數(shù)據(jù)庫頂會最佳論文 成果已在PolarDB中落地
時間:2023-06-22 18:31:19
(相關資料圖)
【環(huán)球網(wǎng)科技綜合報道】6月21日,數(shù)據(jù)庫國際頂級學術會議SIGMOD在美國西雅圖舉行,阿里云與浙江大學關于數(shù)據(jù)庫漏洞檢測新方法的論文,榮獲2023年最佳論文獎。這一新方法較以往方案提速近100倍,被審稿人評價為漏洞檢測新范式。這也是SIGMOD會議舉辦以來,第一次由中國大陸研究團隊摘得最佳論文獎。
芯片、操作系統(tǒng)與數(shù)據(jù)庫,是信息時代的三大核心基礎技術。聚焦于數(shù)據(jù)庫前沿技術的SIGMOD會議始辦于1975年,是信息科學歷史最悠久的學術會議之一,也是含金量最高的數(shù)據(jù)庫全球頂會,吸引了MIT、清華、浙大、卡內(nèi)基梅隆大學、新加坡國立大學等高校以及谷歌、微軟、AWS、阿里云、華為等科技公司參加。每年,SIGMOD組委會從入選的研究論文中評出1~2篇最佳論文,代表了該年度最具創(chuàng)新性及影響力的科研成果,成為數(shù)據(jù)庫發(fā)展的風向標。
2023年,SIGMOD僅收錄190篇論文,由浙江大學與阿里云共同完成的《在數(shù)據(jù)庫管理系統(tǒng)的連接優(yōu)化器中檢測邏輯漏洞》斬獲2023 SIGMOD最佳論文獎,實現(xiàn)了中國大陸研究團隊在數(shù)據(jù)庫國際頂會的歷史性突破。SIGMOD審稿人評議認為,該工作巧妙、高效地解決了現(xiàn)代數(shù)據(jù)庫的關鍵問題,即檢測出復雜邏輯漏洞,并在業(yè)界領先的商業(yè)數(shù)據(jù)庫中證明了其能力。
據(jù)了解,數(shù)據(jù)庫的崩潰通常由漏洞引發(fā),而其中的邏輯漏洞極難檢測,素有數(shù)據(jù)庫“隱形殺手”之稱,重則導致“上萬航班延誤癱瘓”級別的大規(guī)模宕機。面對這一技術難題,浙大與阿里云研究團隊提出了一種名為TQS(轉換查詢合成)的新方案,通過引入機器學習等方法,創(chuàng)造性地解決了執(zhí)行實現(xiàn)的正確性驗證難題,以極小的計算代價自動探索更大檢測空間,最終實現(xiàn)更完備的檢測覆蓋。
研究團隊使用TQS方法在MySQL、PolarDB等4個數(shù)據(jù)庫中進行實驗,運行僅24小時就檢出115個嚴重及以上等級的邏輯漏洞,比原有方案提速近100倍,成效十分顯著。這些數(shù)據(jù)庫漏洞提報給相關社區(qū)后均被修復。
論文一作、浙江大學博士唐秀介紹稱,在阿里云進行研究型實習期間,她與聯(lián)合團隊一起完成了課題攻堅:“當時阿里云團隊正進行PolarDB內(nèi)核測試,提出了如何更好檢測邏輯漏洞的問題,這是我們研究的起點。此后兩年,我們嘗試了多種解決方案,并最終在商業(yè)數(shù)據(jù)庫系統(tǒng)的真實場景中驗證了TQS方法的有效性?!?/p>
依托于阿里巴巴-浙江大學前沿技術聯(lián)合研究中心,阿里云數(shù)據(jù)庫團隊與浙江大學師生,完成了從實踐中提出問題、由校企聯(lián)合攻關、成果落地產(chǎn)業(yè)界的科研新探索。據(jù)介紹,TQS新方法已率先應用在阿里云瑤池數(shù)據(jù)庫中,進一步提升了PolarDB等數(shù)據(jù)庫的穩(wěn)定性。(環(huán)球網(wǎng))
相關稿件
阿里云與浙大斬獲數(shù)據(jù)庫頂會最佳論文 成果已在PolarDB中落地
天天快看:海天瑞聲:擬定增募資不超7.9億元 用于AI大模型訓練數(shù)據(jù)集建設等項目
全球快消息!思林杰:在研新產(chǎn)品技術原理上可適用于光通信模塊測試領域
女子吃菠蘿,舌頭竟缺了一塊!專家建議:加熱吃!究竟怎么吃菠蘿才不“蜇嘴”? 全球即時
溫楊洋:輔助生殖技術納入北京醫(yī)保,利好千億產(chǎn)業(yè)
提前跑路!對沖基金過去10個交易日里9天拋售美股,規(guī)模超過去5年間99%水平
口味“內(nèi)卷”團購火爆 超市“端午經(jīng)濟”有點熱
動態(tài):寧夏銀川燒烤店爆炸事故9名相關人員已被警方控制
官宣達成!30億美元大交易!喬丹贏了,NBA卻輸了 焦點速看
環(huán)球新動態(tài):山東省路橋集團有限公司舉辦黨建生產(chǎn)經(jīng)營融合交流會暨黨委書記講黨課活動
環(huán)球今亮點!江西省銅鼓縣發(fā)布暴雨藍色預警
天天信息:寧波客運中心網(wǎng)上訂票官網(wǎng)電話_寧波客運中心網(wǎng)上訂票官網(wǎng)
【世界熱聞】桃江縣牛田鎮(zhèn)開展端午節(jié)前安全生產(chǎn)大檢查行動


