[發明專利]注入組合查詢的單子評估

有效

• 申請號: 201210405280.5
• 申請日: 2012-10-22
• 公開（公告）號: CN102902595A
• 公開（公告）日: 2013-01-30
• 發明（設計）人: B.貝克曼;E.格森;G.金基;A.巴-齊夫;S.欽奈;H.J.M.梅杰
• 申請（專利權）人: 微軟公司
• 主分類號: G06F9/54
• 分類號: G06F9/54
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 劉鵬;汪揚

1.一種用于以雙向、可動態編程的方式來將操作注入到第一進程（104）與第二進程（106）之間的通信中的系統，所述系統包括：

與第二進程（106）相關聯的存儲區域（506），所述存儲區域（506）存儲統一資源定位符（URL）（510），所述統一資源定位符中嵌入了帶有閉包的一個或多個運算符，所述帶有閉包的運算符對應于至少一個關于數據的請求；以及

處理器（502），其被編程成：

經由網絡從第一進程（104）接收該URL（510），以及將接收到的URL（510）保存在存儲區域（506）中；

從存儲區域（506）中保存的URL（510）中提取帶有閉包的運算符；

由第二進程（106）評估所提取的帶有閉包的運算符，以便產生所請求的數據，所述評估包括：

將閉包轉換成簡單類型的閉包，以及

將帶有經過轉換的閉包的運算符綁定在單子內部，以便封裝從帶有經過轉換的閉包的運算符中產生的數據；以及

將所產生的數據發送到第一進程（104）。

2.權利要求1的系統，其中第一進程是由客戶機設備運行的，并且第二進程是由云服務運行的。

3.權利要求1的系統，其中第一進程是由云服務運行的，并且第二進程是由客戶機設備運行的。

4.權利要求1的系統，其中處理器被編程成通過將至少一個操作應用于通過評估每一個帶有經過轉換的閉包的運算符所產生的數據而將帶有經過轉換的閉包的運算符綁定在單子內部，其中相同的操作被應用于從管道中帶有經過轉換的閉包的在先運算符中產生的數據上。

5.權利要求1的系統，還包括：

用于利用單子處理以腳本語言嵌入在URL中的查詢運算符的裝置；以及

用于由web服務來對帶有閉包的運算符進行單子評估的裝置。

6.一種方法，包括：

從第一進程（104）接收一個或多個帶有閉包的運算符，所述帶有閉包的運算符代表的是由第二進程（106）執行的一個或多個函數；以及

第二進程（106）對接收到的帶有閉包的運算符進行評估，以便通過以下處理來運行函數：

將閉包轉換成簡單類型的閉包；以及

將帶有經過轉換的閉包的運算符綁定在單子內部，以便限制所述函數的運行。

7.權利要求6的方法，其中將帶有經過轉換的閉包的運算符綁定在單子內部包括以下的一項或多項處理：創建Kleisli組合，以及將至少一個操作應用于通過運行每一個函數得到的輸出數據上，其中相同的操作被應用于每一個函數。

8.權利要求6的方法，其中計算設備運行第一進程和第二進程，其中接收帶有閉包的運算符包括：接收一個或多個編碼在腳本語言中和/或打包在超文本標記語言中的查詢，以及其中評估帶有閉包的運算符包括對從包含下列各項的集合中選擇的查詢運算符進行評估：擴展、轉換、過濾、編組、加入、排序、組合以及累積。

9.權利要求6的方法，其中評估帶有閉包的運算符包括以下的一個或多個處理：對帶有閉包的運算符進行排序以便進行順序評估，以及將過濾器應用于數據集合以便產生數據子集，以及其中轉換閉包包括以下的一個或多個處理：禁止遞歸評估所述閉包，以及禁止針對所述閉包的自應用更高階自變量。

10.權利要求6的方法，其中一個或多個計算機存儲媒體包含了計算機可執行組件，所述組件包括：

通信接口組件，其在被運行的時候使至少一個處理器從第一進程接收注入了帶有閉包的運算符的序列的通信，所述帶有閉包的運算符代表的是由第二進程執行以產生輸出數據的函數；以及

腳本組件，其在被運行的時候使至少一個處理器通過第二進程來按順序靜態分析帶有閉包的運算符，以便執行函數來產生輸出數據，所述腳本組件包括：

類型檢查組件，其在被運行的時候使至少一個處理器將每一個閉包轉換成簡單類型的閉包；以及

封裝組件，其在被運行的時候使至少一個處理器在單子內部應用將帶有在靜態分析期間被類型檢查組件轉換過的閉包的運算符應用于來自帶有閉包的運算符的序列中的在先階段的輸出數據上，以便包含函數的運行，

其中所述通信接口組件將所產生的輸出數據提供給第一進程。