正反例歸納合成SQL查詢(xún)程序
軟件學(xué)報(bào)
頁(yè)數(shù): 21 2023-01-05
摘要: SQL是一種被廣泛應(yīng)用于操作關(guān)系數(shù)據(jù)庫(kù)的編程語(yǔ)言,很多用戶(hù)(如數(shù)據(jù)分析人員和初級(jí)程序員等)由于缺少編程經(jīng)驗(yàn)和SQL語(yǔ)法知識(shí),導(dǎo)致在編寫(xiě)SQL查詢(xún)程序時(shí)會(huì)碰到各種困難.當(dāng)前,使用程序合成方法根據(jù)<輸入-輸出>樣例表自動(dòng)生成相應(yīng)的SQL查詢(xún)程序,吸引了越來(lái)越多人的關(guān)注.所提ISST (正反例歸納合成)方法,能夠根據(jù)用戶(hù)編輯的含有少量元組的<輸入-輸出>示例表自動(dòng)合成滿(mǎn)足用戶(hù)期望的S...