自動生成資料庫查詢的方法和系統的製作方法

2023-07-03 05:21:16

BETWEEN1000AND1100ORDERBYCARDDESC)ASAf3;現在回到圖3，在步驟S33中生成中間結果Af之後，處理流程前進到步驟S34,判斷是否遍歷了所有的頂點。如果沒有遍歷所有頂點，則返回步驟S33，繼續遍歷有向生成樹re,直到遍歷完所有的頂點。如果在步驟S34中判斷遍歷了所有的頂點，並且生成了滿足最終行集數約束c'的最終中間結果M，則處理流程前進到步驟S35，根據最終中間結果M生成候選測試查詢6'。這樣，對於w路聯接查詢g和行集數約束c，能夠檢索使得0滿足^的列組(71丄(:，...，7>1丄0的所有合格元組。相應地，根據最終中間結果M通過實例化每一個參數值即能夠自動地生成候選測試查詢g'。另外，在此定義相對偏差作為測試用例的評價因子，其中相對偏差=maXC)(如果f或C'為0，則任意地將其用l替代)。用戶能夠才艮據相對偏差方便地從所生成的候選測試用例中選擇一組子集合查詢作為所期望的最後結果。對於上文中提到的具體實例，在這一步驟S35中才艮據表5所示的最終中間結杲A/3可以得到如下表6所示的候選測試查詢0。表6候選測試查詢tableseeoriginaldocumentpage22tableseeoriginaldocumentpage23tableseeoriginaldocumentpage24COUNTdASCARDFROMrWHERE1=1GROUPBYr.id,ORDERBYn卜2,r.icwasc,r._LCJcDESC,CARDASC對於該SQL語句的結果，可以將其看作臨時的wx("l)矩陣ATr。考慮矩陣Mr中的如下p(A:+l)矩形區域對於矩陣Mr中的每一個值w,》和wy>(1^9，1^/^F,1s/^A:-2)總有附,對於矩陣Mr中的每一個值附,^i)和附wi)(1"^/、力總有附映d^附/(w)，以及對於矩陣jfr中的每一個值附汰和附,(1^,'^/、力，如果附砂-1)=柳y(A-i)則總有附汰2附#。下面的表7示出了一個這樣的矩形區域，例如，r丄d的所有值等於fl，r丄G的所有值等於6，r丄cv-2的所有值等於z，r丄c^的所有值具有單調特性，當s/^y時"^，以及在^屍的條件下r丄cv的所有值具有單調特性，當《、W時v^v,y。表7矩形區域及#1#2#&-2欲r丄C2r丄GCARDWW1card"Icard^針對該矩形區域及r，通過使用函數subsume(cards,)=Xcard將第(A+1)列(列CARD)的值計算為5^x1矢量^subsu—cardw)subsum(cardw-J，然後用該矢量爿替換矩陣區域Wr的第(A+l)列的原始值，如下面的表8所示,表8替換後的矩形區域i^#1r丄d#26唚l'r丄G1i#(&+i)CARDsubsum(ca喊subsum(card鬥tsubsum(cardj在該修正後的矩形區域中，丟棄了subsum(cardj<c的元組以便形成新的矩形區域A。因此，可以推斷當將局部謂詞實例化為A的第s/行A:元組i^[fl，6，…，；Mw，Vs,]時，subsum(cardj的值能夠更準確地等於最終的行集數約束c'。針對初始查詢^所生成的相關候選查詢g'如下所示，其實際的約束c'大於行集數約束c(0'滿足c)。SELECTSFROMrWHEREr.IAr,ic2=aAND=jbANDr.iC大-2=zANDT.I;Ch2usiANDr.工C;c2vsi;在整個矩陣Mr中，genMatrix方法將查找所有這種類型的矩形區域，針對每一個這樣的區域分別調用subsum函數，並且丟棄不合格的元組，最後聯合所有剩餘的元組以生成新的矩陣A^作為最終結果。對於其他的雙側範圍謂詞和多個表查詢的情況，也可以根據類似的原理修改genMatrix來生成最終的中間結果矩陣。另夕卜，在某些情況下，在步驟S31中生成的有向查詢圖中可能存在多於一個的根頂點。圖5(a)示出違背一個根頂點期望的IO路聯接有向查詢圖。當使用多個根對有向查詢圖進行遍歷時，將構建有向生成森林，其包括一組斷開的有根的有向生成樹來替代單個有向生成樹。有向生成森林中的有向生成樹的數量通常由有向查詢圖中的根頂點的數量來決定。例如，對於圖5(a)所示的有向查詢圖，在構建的有向生成森林中存在兩個有向生成樹，如圖5(b)所示。從該示例中可以看出，在針對多個根頂點的有向查詢圖生成有向生成森林後，可能會丟失某些潛在的聯接關係。因此，針對這種情況，必須對圖3所示的方法進行改進以涵蓋這種情況。首先，在步驟S31之後增加子步驟S31+,以便標識有向查詢圖中的M點和橋接弧。通常情況下，接合點(也稱作切割頂點)和橋接邊是無向圖中的概念，用來表示圖的連通特徵。在本發明的實施例中，將這些概念借用到有向圖中來說明本發明。在有向查詢圖中Ge，考慮三個頂點r"、7V和IV，如果存在兩個弧和，rw>,並且TV的入度iV/(7V)^2,但是從r"到TV或者從7v到r"沒有路徑，則將頂點TV定義為掩^點，並且將TV添加到接合點集合7Vg;Ke。同時，在此將弧〈r"，7^>和，7^>稱作橋接弧並將他們添加到橋接弧集合醜e={I77eKea"e7Vear!V7/}。在圖5(a)所示的示例中，#2={12}並且52={,，,}。然後在步驟S32中，通過有向查詢圖Gg中的每一個才艮頂點遍歷有向查詢圖Ge來構建有向生成森林Fg。在此筒要描述根據本發明一個實施例的構建有向生成樹的方法。針對圖5(a)所示的有向查詢圖，在構建了如圖5(b)所示的有向生成森林/^之後，TO和T2在一棵有向生成樹上，而Tl、T3和T6在另一棵有向生成樹上，在所生成的有向生成森林中這兩,相互斷開。因此，在步驟S32的構建有向生成森林的過程中丟失了他們的聯接關係。為了準確地保留這些聯接關係，需要增加子步驟S32+,以便通過連接不同有向生成樹中的相關頂點來將在步驟S32中構建的有向生成森林轉換成新的有向生成森林。在此通過一類特殊的弧，即"虛擬弧"來連結所有的這些聯接關係，在有向生成森林中用虛線弧表示。如圖5(c)所示，在該示例中，經過有向生成森林變換之後的虛擬弧為用虛線表示的弧{,,}。進行有向生成森林變換的算法如下所示。"絲賴"顛#法"翁入；才/^查詢^^0及詳旅現威桌合及0餘A:逸括一個4^個^"橫^T命i成浙reFeconstructSpanningForest(Gg,尺g){forest&=0;foreachrootvertexreigdotree二dfs(Gg,r);returni7^;"義財^4'顛#法"^f/^i成濚淋i^及脊凝^C漠合5e翁/^.'^換^好|^^^^#屍2，及新辨脊凝級桌合5g，tramformSpanningForest(Fg，{foreacharce5。doifarcexistsinanyofspanningtree7^=52-〃removearcfrom5^ifvertex/gspanningtree7^andvertexespanningtree(/八J1^#Tgs)i72=U;〃addvirtualarctoF2return(Fg，B。)；最後，在步驟S33中分別針對每一個有向生成樹生成中間結果，然後可以將每一個中間結果看作臨時表，而虛擬弧則表示有向生成樹之間的聯接關係。這樣，將每一個中間結果作為一個虛擬頂點，如圖6所示，然後迭代調用genMatrix直到遍歷了有向生成樹中的所有虛擬頂點為止。此夕卜，還應該指出的是，在前面的實施例中是以沒有子查詢的查詢為例it行說明的。但是，本發明不僅限於此，而是也可以應用到具有子查詢的查詢中。雖然對於大多數具有子查詢的情況只關注其某一類特定的子查詢而不是整個查詢，由此可以應用上面所述的方法針對該類特定的子查詢構建滿足行集數約束的候選查詢，但是，本發明也可以針對一般的查詢級別而不是特定的子查詢來構建滿足行集數約束的候選查詢。對於包含不相關子查詢的查詢，可以從最深層的子查詢開始，構建該子查詢的有向查詢圖、構建其有向生成樹、以及調用genMatrix，以便針對該子查詢生成中間結果。然後，將該中間結果作為虛擬頂點，並通過在有向生成森林中添加虛擬弧來處理其上一層子查詢。這樣，可以從最深層的子查詢開始迭^f戈處理所有層次的子查詢。圖7示出了處理多層次子查詢的一個示例。對於包^^目關子查詢的查詢，可以首先將這些相關的子查詢去相關，將他們變為不相關的子查詢，然後再應用本發明的上述方法即可。關於相關子查詢的去相關方法，請參見美國專利US5，548，755、PraveenSeshadri,HamidPirahesh，T.Y.CliffLeung的"ComplexQueryDecorrelation"，IniVocm/,Vf^s6>/J加/"fmi她Vmfl/CVw^^Mcer2->D，在此指定行集數約束CHd，C2，C3，C4，C^來控制每一個中間結果的大小。按照訪問計劃的^t接順序，對於圖8所示的左深樹，genMatrix首先構建下述SQL語句，以便針對表77生成如表9所示的滿足行集數約束d的中間矩陣M;。FROM(SELECTHCll,COUNT(*)ASCARDFROMriWHERE1=1GROUPBYri.iCllHAVINGCOUNTd>=c工ORDERBYCARDDESC)AS線；表線(Tl)Tl,LCllCARDcardwlca《接著，genMatrix聯接中間結果7V^和表72以生成如表10所示的滿足行集數約束^2的中間結果3/2，其相應的SQL語句如下所示。SELECTM2.iC,iVf2.CARDFROM(SELECTri.iCll,r2.工C21,COUNTdASCARDFROMTl,272WHERE1=1ANDri.iCll=ulri.JC12=U22GROUPBYri.iCll,T2.iC21HAVINGCOUNT(">=c2ORDERBYCARDDESC//ulUNIONUNIONselectri.icii,r2.i:c21,COUNT(*)ASCARDFROMri,72WHERE1=1ANDri.JLCll=uxri.JC12=T2.JU22GROUPBYri.iCll,r2.iC21HAVINGCOUNT>=c2ORDERBYCARDDESC//ux)ASAf2表10M2(T1，T2)Tl丄CllT2丄C21CARDcarcUi30"J7card;wv，然後，genMatrix通過將r2丄d用中間結果M2中的值進行實例化來針對表72構建下述SQL語句，以便生成滿足行集數約束c3的中間結果Mj,如表11所示。selectm3.:lc,m3.cardFROM(SELECTHC21,COUNT(*)ASCARDFROMr2WHEREr2.工C21=vlGROUPBYr2.iC21HAVINGCOUNT(">=c3ORDERBYCARDDESC//vlUNIONUNIONSELECTT2.iC21,COUNT(*)ASCARDFROMT2WHEREr2.JLC21=vyGROUPBYT2.iC21HAVINGCOUNT(*)〉=c3ORDERBYCARDDESC)ASiVf3表11M3(T2)T2丄C21CARDvlcardvicardvz在聯接表77和72期間為了滿足行集數約束c3，需要丟棄中間結果矩陣M2中r麼丄czv/的值g矩陣^3中r2.丄c7v/'的任意值的元組。由此，可以得到刪減後的中間結果M2'，如下表12所示。表12M2'(T1，T2)Tl丄CllT2丄C21CARDvl'cardwi'vz'類似的，使用中間結果M聯接表73，以便使結果滿足行集數約束C4並生成新的中間結果3f4,如表13所示。相應的SQL語句如下所示SELECT線.化，M4.CARDfrom(SELECTri.iCll,T2.iC21,r3.iC31,T3.iC32,COUNT(*)ASCARDfromri,r2,r3WHERE1=1ANDri.iCll=ul'ANDr2.iC21=vl'GROUPBYHCll,HC21,r3.工C31,r3.工C32HAVINGCOUNT(*)>=c4ORDERBYCARDDESC//uvl'UNIONUNIONSELECTTl.I/Cll,T2.iC21,T3.iC31,r3.I;C32,COUNT(*)ASCARDfromri,r2,r3where1=1andri.iCll=uz'ANDr2.iC21=vz'GROUPBYrl.iCll,r2.ic21,r3.ic3:ur3.iC32HAVINGCOUNT(*)>=c4ORDERBYCARDDESC//uvz')ASM4'-表13Af4(Tl,T2,T3)Tl丄CllT2丄C21T3丄C31T3丄C32CARD〃vl","aw謂為了滿足行集數約束c5，genMatrix使用中間結果Af4中的值實例化列組(73丄C37，r3丄C^2),從而針對表73構建下述SQL語句，以便生成新的中間結果Afs。SELECTM5.iC,M5.CARDFROM(SELECTr3.iC31,r3.工C32,COUNT(*)ASCARDFROMT3WHERET3.iC31=wlAM)GROUPBYr3._LC31,HAVINGCOUNT(*)>=c5ORDERBYCARDDESC//(wl,ul)UNIONUNIONSELECTr3.1C31,T3.iC32,COUNT(*)ASCARDFROMr3WHEREr3.JLC31=,AATOGROUPBYr3.iC31,r3.1C32HAVINGCOUNT(*)>=c5ORDERBYCARDDESC//(aw,—)ASM5最後，丟棄中間結果A/4中列組(7XLC/，IXLC》(^/，1^的值g中間結果矩陣Ms中列組(T3丄c^，r3丄c"(^y,"》的任意值的元組，以便獲得刪減的最終中間結果M4'。可以看出，使用該中間結果M/進行謂詞^lt實例化能夠滿足行集數約束集合0{Cl,C2,c3，c4，c5}的要求。以上結合附圖詳細描述了實現本發明的自動生成資料庫查詢的方法的各個具體實施方式，下面將結合圖9描述本發明的自動生成資料庫查詢的系統。如圖9所示，根據本發明的一個實施例的自動生成資料庫查詢的系統主要包括查詢圖生成模塊910、查詢生成模塊920、以及測試用例生成模塊930。查詢圖生成模塊910用於對輸入的查詢0進行分析，以^更生成其有向查詢圖和有向生成樹。查詢圖生成模塊910主要包括有向查詢圖構建器912，用於對輸入的查詢g構建有向查詢圖；有向生成樹/森林構建器914，用於根據有向查詢圖構建器所構建的有向查詢圖構建有向生成樹，或者構建有向生成森林並對其進行轉換；圖形可視化器916，用於對有向查詢圖構建器912構建的有向查詢圖和有向生成樹/森林構建器914構建及轉換的有向生成樹/森林進行可視化顯示；以及圖形可視化器用戶接口918，用於實現與用戶的交互。查詢生成模塊920用於對查詢圖生成模塊910所生成的有向生成樹/森林進行遍歷以便生成滿足行集數約束條件的候選測試查詢。查詢生成模塊920主要包括符號化查詢表示器922，用於將輸入查詢轉化為符號化表示的查詢；矩陣生成器924，用於對查詢圖生成模塊910所生成的有向生成樹/森林進行廣度優先搜索，構建SQL語句以便迭代生成中間結果表；謂詞M實例化單元926，用於在矩陣生成器924迭4義生成中間結M期間，根據上一層次遍歷的中間結果表對新構建的SQL語句中的謂詞^進行實例化表示，從而使得矩陣生成器924生成最終的滿足行集數約束條件的中間結^;以及候選查詢生成器928，用於根據矩陣生成器924生成的最終中間結果生成一組候選測試查詢，如果必要，可以選擇輸出滿足相對偏差要求的優選測試查詢。其中，符號化查詢表示器922為可選模塊，可以不必對輸入查詢進行符號化而直接處理輸入的查詢，也可以在對輸入查詢進行符號化處理之後發送給查詢圖生成模塊910，以方i更查詢圖生成模塊的處理。當然，在最終生成測試查詢時，應當將符號化表示的查詢進行反符號化處理，返回到實際查詢中所^^用的查詢元素。測試用例生成模塊930才艮據查詢生成模塊920所生成的測試查詢生成測試用例，主要包括候選查詢評價器932，用於評價查詢生成模塊920所生成的測試用例候選；測試用例生成器934，用於根據候選查詢評價器932的評價結果，為用戶4C供符^^要求的測試用例；以及測試用例生成器用戶接口936，用於與用戶交互。以上各個模塊和單元的具體處理過程與上面參照的自動生成資料庫查詢的方法的各個實施例中的相應步驟相類似，為了簡潔起見，在此略去其詳細描述。另外，在資料庫層950中提供了測試查詢存儲庫952用以保存用戶提供的測試工作負載(一組查詢)的所有相關信息、行集數約束規範、以及所生成的可以重複4吏用的測試用例等等。當然，在資料庫層950中還M有用於進行查詢測試的測試資料庫954。此外，根據本發明的自動生成資料庫查詢的系統具有很好的擴展性，能夠通過數據抽象層940方便地與其他用戶工具和其他外部模塊960集成。例如，外部模塊960中的測試數據生成器962、測試自動^f匕工具964、性能測試工具966、資料庫測試工具968等工具與本發明各個實施例所提供的技術方案具有很好的兼容性。還應該指出的是，根據本發明的自動生成資料庫查詢的方法和系統也支持基於關鍵字和基於相似性的搜索功能。以上結合具體實施例描述了本發明的基本原理，但是，需要指出的是，對本領域的普通技術人員而言，能夠理解本發明的方法和裝置的全部或者任何步驟或者部件，可以在任何計算設備(包括處理器、存儲介質等)或者計算設備的網絡中，以硬體、固件、軟體或者它們的組合加以實現，這是本領域普通技術人員在閱讀了本發明的說明的情況下運用他們的基本編程:技能就能實現的，因此在這裡省略了詳細il明。因此，基於上述理解，本發明的目的還可以通過在任何信息處理設備上運行一個程序或者一組程序來實現。所述信息處理設備可以是公知的通用設備。因此，本發明的目的也可以僅僅通過提供包含實現所述方法或者設備的程序代碼的程序產品來實現。也就是說，這樣的程序產品也構成本發明，並且存儲有這樣的程序產品的存儲介質也構成本發明。顯然，所述質，因此也沒有必要在此對各種存儲介質——列舉。在本發明的設備和方法中，顯然，各部件或各步驟是可以分解和/或重新組合的。這些分解和/或重新組合應視為本發明的等效方案。並且，是並不需要一定按照時間順序執行。某些步驟可以並行或彼此獨立地執行。以上描述了本發明的優選實施方式。本領域的普通技術人員知道，本發明的保護範圍不限於這裡所公開的具體細節，而可以具有在本發明的精神實質範圍內的各種變化和等效方案。權利要求1.一種生成資料庫查詢的方法，包括步驟接收輸入查詢和行集數約束；以及根據資料庫的列組數據相關性對輸入查詢的局部謂詞參數進行實例化，以生成滿足行集數約束的候選測試查詢。2.根據權利要求l所述的方法，其中生成測試查詢的步驟包括步驟:為輸入查詢構建有向查詢圖；對有向查詢圖進行遍歷以構建有向生成樹；對有向生成樹進行遍歷以生成中間結果表；以及根據中間結M生成滿足行集數約束的候選測試查詢。3.根據權利要求2所述的方法，其中按照參照完整性關係為輸入查詢構建具有才艮頂點的有向查詢圖；通過深度優先遍歷對有向查詢圖進行遍歷以構建有向生成樹；以及通過廣度優先搜索對有向生成樹進行遍歷以生成中間結果表。4.根據權利要求3所述的方法，其中生成中間結果表的步驟按照層次順序對有向生成樹進行遍歷，並且包括步驟針對每一層的有向生成樹遍歷，級聯輸入查詢中局部謂詞的參照列作為中間結果表的列組；通過對列組值進行分組從資料庫中檢索聚合數據信息；以及在中間結果表中保留各列組值均滿足行集數約束的列組值並在中間結果表中記錄行集數。5.根據權利要求4所述的方法，其中行集數約束c為在可接受範圍內的行集數約束C'，並且所述方法還包括根據"相對偏差-max(^f)"對所生成的候選測試查詢進行評價的步驟，以從中選擇一組期望的測試查詢。6.根據權利要求1至5任一所述的方法，其中局部謂詞包括等於謂詞、單側i胃詞、以及雙側謂詞。7.根據權利要求2至5任一所述的方法，其中在為輸入查詢構建的有向查詢圖為多於一個根頂點的情況下，所述方法還包括步驟在構建有向查詢圖之後，標識有向查詢圖中的接合點和橋接弧；在構建有向生成樹之後，通過虛擬弧連結不同有向生成樹中的相關頂點，以將構建有向生成樹步驟所構建的多個有向生成樹轉換成有向生成森林；以及在中間結果表生成步驟中分別針對每一個有向生成樹生成中間結果，然後將每一個中間結果表看作臨時表，將虛擬弧作為有向生成樹之間的聯接關係，以進一步生成最終的中間結果表。8.根據權利要求2至5任一所述的方法，其中查詢包括子查詢，並且如果子查詢為相關子查詢，將其去相關為不相關子查詢；所述方法在生成候選測試查詢之前還包括步驟從最深層的子查詢開始直到最外層子查詢，逐層迭代生成中間結果表。9.根據權利要求2至5任一所述的方法，其中行集數約束為多個行集數約束，分別用於有向生成樹的各層。10.根據權利要求2至5任一所述的方法，其中在有向生成樹為左深樹的情況下，根據查詢訪問計劃的的聯接順序來逐層生成中間結果表。11.一種生成資料庫查詢的系統，包括有向查詢圖構建器，用於為輸入查詢構建有向查詢圖；有向生成樹構建器，用於對有向查詢圖進行遍歷以構建有向生成樹；矩陣生成器，用於對有向生成樹進行遍歷以生成中間結果表；以及候選查詢生成器，用於根據中間結果表生成滿足行集數約束的候選測試查詢。12.根據權利要求ll所述的系統，其中有向查詢圖構建器按照參照完整性關係為輸入查詢構建具有根頂點的有向查詢圖；有向生成樹構建器通過深度優先遍歷對有向查詢圖進行遍歷以構建有向生成樹；以及矩陣生成器通過廣度優先搜索對有向生成樹進行遍歷以生成中間結13.根據權利要求12所述的系統，其中矩陣生成器按照層次順序對有向生成樹進行遍歷，並且針對每一層的有向生成樹遍歷，級聯輸入查詢中局部謂詞的參照列作為中間結果表的列組；通it^f列組值進行分組從資料庫中檢索聚合數據信息；以及在中間結果表中保留各列組值均滿足行集數約束的列組值並在中間結果表中記錄行集數。14.根據權利要求13所述的系統，還包括候選查詢評價器，用於根據"相對偏差-max(f，,)"對候選查詢生成器生成的候選測試查詢進行評價以從中選擇一組期望的測試查詢，其中c為行集數約束，c'為在可接受範圍內的行集數約束。15.根據權利要求11至14任一所述的系統，其中局部謂詞包括等於謂詞、單側謂詞、以及雙側謂詞。16.根據權利要求11至14任一所述的系統，其中在有向查詢圖構建器為輸入查詢所構建的有向查詢圖為多於一個才艮頂點的情況下，所述有向查詢圖構建器在構建有向查詢圖之後，標識有向查詢圖中的掩^點和橋接弧；所述有向生成樹構建器在構建有向生成樹之後，通過虛擬弧連結不同有向生成樹中的相關頂點，以將構建有向生成樹步驟所構建的多個有向生成樹轉換成有向生成森林；以及所述矩陣生成器分別針對每一個有向生成樹生成中間結果，然後將每一個中間結^看作臨時表，將虛擬弧作為有向生成樹之間的聯接關係，以進一步生成最終的中間結果表。17.根據權利要求11至14任一所述的系統，其中查詢包括子查詢，並且如果子查詢為相關子查詢，將其去相關為不相關子查詢；並且所述矩陣生成器從最深層的子查詢開始直到最外層子查詢，逐層迭^R生成中間結a。18.根據權利要求11至14任一所述的系統，其中行集數約束為多個行集數約束，分別用於有向生成樹的各層。19.根據權利要求11至14任一所述的系統，其中在有向生成樹為左深樹的情況下，所述矩陣生成器才艮據查詢訪問計劃的的聯接順序來逐層生成中間結果表。20.根據權利要求11至14任一所述的系統，還包括測試查詢存儲庫，用以*輸入查詢的相關信息、行集數約束規範、以及所生成的可以重複^f吏用的測試用例。全文摘要本發明公開了一種自動生成資料庫查詢的方法和系統，通過考慮列組數據相關性和行集數約束，能夠基於謂詞參數實例化自動生成用於資料庫的查詢。根據本發明一個實施例的生成資料庫查詢的方法包括接收輸入查詢和行集數約束；以及根據資料庫的列組數據相關性對輸入查詢的局部謂詞參數進行實例化，以生成滿足行集數約束的候選測試查詢。所述生成測試查詢的步驟包括步驟為輸入查詢構建有向查詢圖；對有向查詢圖進行遍歷以構建有向生成樹；對有向生成樹進行遍歷以生成中間結果表；以及根據中間結果表生成滿足行集數約束的候選測試查詢。文檔編號G06F17/30GK101620606SQ20081012529公開日2010年1月6日申請日期2008年6月30日優先權日2008年6月30日發明者劉長浩,碩武申請人:國際商業機器公司