Google釋出演繹資料庫開發語言Mangle

Google在GitHub釋出了演繹資料庫（Deductive Database）程式開發語言Mangle，官方提到，Mangle是Datalog的擴展，具有聚合、函式呼叫和可選類別檢查等各種額外功能。Datalog本身是一種查詢語言，專門設計來操作大型關聯式資料庫，由於Datalog和SQL一樣，就僅是一個規範，因此像是bddbddb、DES和OverLog都是Datalog語法實作。

演繹資料庫是一種資料庫系統，能夠根據儲存在資料庫中的規則和事實進行演繹，也就是經過計算之後獲得額外的事實，並且可對領域知識建模。通常用於演繹資料庫的語言是Datalog，以指定事實、規則和查詢，是一種類似關係演算（Relational Calculus）的表達性宣告語言，但與關係演算不同，Datalog還直接支援遞迴規則和程式結構。

Mangle包含Datalog，但同時添加實用的聚合、函式呼叫和可選類別檢查等擴充功能，來增加Mangle可以適用的情境。官方提到，開源Mangle可供開發人員方便取用，並且有助於簡單地進行實驗。目前這個儲存庫包含實作Mangle的Go函式庫，能夠被簡單地嵌入到應用程式中，另外，雖然這個GitHub Mangle儲存庫在Google組織之下，但並沒有受到正式支援。