[發明專利]一種對多個相關謂詞進行合并的方法

在審

• 申請號: 201710606871.1
• 申請日: 2017-07-24
• 公開（公告）號: CN107632999A
• 公開（公告）日: 2018-01-26
• 發明（設計）人: 余鵬;李建輝;熊中哲;魏興華;臧冰凌;李春;陳棟;張文件;羅春
• 申請（專利權）人: 杭州沃趣科技股份有限公司
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 浙江杭知橋律師事務所33256
• 代理人: 王梨華,陳麗霞

1.一種對多個相關謂詞進行合并的方法，其特征在于，包括如下步驟：

S100、處理謂詞表達式：將謂詞表達式處理成父表達式為and操作符，且子表達式為基礎表達式，基礎表達式包括一元操作表達式和二元操作表達式，子表達式中的謂詞用or操作符連接起來的表達式，進行消除重復表達式；

S200、優先遍歷步驟S100中處理過的謂詞表達式，合并謂詞，進行遞歸處理，對謂詞表達式，如是基礎表達式，則退出，完成合并；如不是，則對表達式的參數進行合并。

2.根據權利要求1所述的一種對多個相關謂詞進行合并的方法，其特征在于：步驟S100中，消除重復表達式用布爾代數的公式進行推導，在推導的過程中，對發現的重復謂詞進行消除。

3.根據權利要求1所述的一種對多個相關謂詞進行合并的方法，其特征在于：步驟S100中，一元操作表達式為參數是一個表的列名或一個常量，二元操作表達式為參數是一個表的列名和一個常量。

4.根據權利要求1所述的一種對多個相關謂詞進行合并的方法，其特征在于：步驟S200中，還包括：

S210、將表達式中的各個子表達式進行分組，將基礎表達式根據表中的列名進行分組；

S220、對分組后的子表達式中的謂詞進行合并，如是and表達式，進入步驟S230；如果是or表達式，進入到步驟S240；

S230、對and表達式下的分組，取交集，過程如下：交集結果初始化為常量true，遍歷組內每個基礎謂詞，將當前謂詞與交集結果取交集，如不存在交集則跳出，如存在則依次處理下一個基礎謂詞，直到完成所有組內基礎謂詞；

S240、對or表達式下的分組進行合并，取并集，過程如下：并集結果初始化為常量FALSE，遍歷組內每個基礎謂詞，將當前謂詞與交集結果取并集，如交集結果為TRUE，則退出；如不是TRUE，則依次處理下一個基礎謂詞，直到完成所有組內基礎謂詞；

S250、將合并之后的謂詞表達式替換原有表達式，如合并之后的謂詞表達式是常量，則根據謂詞的輸入，將謂詞中可替換的表達式替換成常量，直到全部替換成當前表達式。