Loading article…
| パラダイム | 宣言型、論理プログラミング |
|---|---|
| 家族 | データログ |
| タイピングの規律 | 静的 |
| ライセンス | コマーシャル |
| Webサイト | 「LogicBlox – 次世代分析アプリケーション」。2023 年 7 月 23 日にオリジナルからアーカイブされました。 |
| 影響を受けた | |
| データログ | |
LogicBloxシステムは、 Datalogにヒントを得た商用の宣言型増分論理 プログラミング言語および演繹データベースです。LogiQLプログラミング言語は、層別否定、集約、モジュールシステムなど、いくつかの機能でDatalogを拡張しています。LogicBloxは、 Javaのポインタ解析を構築するために使用されています。[1]
2014年12月3日、PredictixはLogicBloxを買収した。[2] 2016年6月28日、InforはPredictixを買収した。[3]
特徴
- 層別否定[ 4]
- 集計関数[5]
- 新しい最悪ケース最適結合アルゴリズムを使用した評価。[6] [7]
- データコンストラクタ
- 静的型付け[8]
- モジュールシステム
- 確率的プログラミング機能
- 増分計算[9]
- 出所によるデバッグ[10] [11]
参考文献
注記
- ^ Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). 「Soufflé への doop の移植」。プログラム分析の最新技術に関する第 6 回 ACM SIGPLAN 国際ワークショップの議事録。SOAP 2017。ニューヨーク、ニューヨーク州、米国: Association for Computing Machinery。pp. 25– 30。doi :10.1145/3088515.3088522。ISBN 978-1-4503-5072-3. S2CID 3074689。
- ^ 「PredictixがLogicBloxを買収」mergr.com . 2024年6月8日閲覧。
- ^ 「InforがPredictixを買収」。finance.yahoo.com 。2024年6月8日閲覧。
- ^ 「6.4. 否定 - LogicBlox 3.10 リファレンスマニュアル」。developer.logicblox.com 。2023年3月4日閲覧。 「さらに、否定は、プラットフォームが否定を使用するすべてのルールと制約を階層化する方法を決定することができる場合にのみ許可されます。」
- ^ 「第7章 ルール - LogicBlox 3.10 リファレンスマニュアル」。developer.logicblox.com 。2023年3月4日閲覧。
- ^ Veldhuizen, Todd L. (2013-12-20). 「Leapfrog Triejoin: 最悪の場合の最適な結合アルゴリズム」. arXiv : 1210.0481 [cs.DB].
- ^ Aberger, Christopher R.; Tu, Susan; Olukotun, Kunle; Ré, Christopher (2016 年 5 月)。「新しい結合アルゴリズムのための古い手法: RDF 処理のケース スタディ」。2016 IEEE 32nd国際データ エンジニアリング ワークショップ会議 (ICDEW)。pp. 97– 102。arXiv : 1602.03557。doi :10.1109 / ICDEW.2016.7495625。ISBN 978-1-5090-2109-3. S2CID 10016546。
- ^ ズーク、デイビッド、パサリック、エミール、サルナ・スタロスタ、ベアタ (2009)。ギル、アンディ、スウィフト、テランス (編)。型付きデータログ。宣言型言語の実践的側面。コンピュータサイエンスの講義ノート。第 5418 巻。ベルリン、ハイデルベルク: シュプリンガー。pp. 168– 182。doi :10.1007/978-3-540-92995-6_12。ISBN 978-3-540-92995-6。 「当社の型システムは、LogicBlox 開発環境の一部として実装されています。」
- ^ Singh, Shikha; Madaminov, Sergey; Bender, Michael A.; Ferdman, Michael; Johnson, Ryan; Moseley, Benjamin; Ngo, Hung; Nguyen, Dung; Olesen, Soeren; Stirewalt, Kurt; Washburn, Geoffrey (2020 年 5 月)。「データログ プログラムの増分メンテナンスのスケジューリング アプローチ」。2020 IEEE国際並列分散処理シンポジウム (IPDPS)。pp. 864– 873。doi :10.1109/IPDPS47924.2020.00093。ISBN 978-1-7281-6876-0. S2CID 216513350。
- ^ スヴェン、ケーラー;ルーデッシャー、バートラム;スマラグダキス、ヤニス (2012)。バルセロ、パブロ。ピヒラー、ラインハルト (編)。 Mere Mortals の宣言型データログ デバッグ。学術界と産業におけるデータログ。コンピューターサイエンスの講義ノート。 Vol. 7494. ベルリン、ハイデルベルク: Springer。 pp. 111–122。土井:10.1007/978-3-642-32925-8_12。ISBN 978-3-642-32925-8。
- ^ 「第17章 出所」。LogicBlox 3.10リファレンスマニュアル。 2023年3月11日閲覧。
出典
- Green, Todd J.; Aref, Molham; Karvounarakis, Grigoris (2012)。Barceló, Pablo; Pichler, Reinhard (編)。LogicBlox、プラットフォーム、言語: チュートリアル。学術界と産業界におけるデータログ。コンピュータサイエンスの講義ノート。第 7494 巻。ベルリン、ハイデルベルク: Springer。pp. 1– 8。doi : 10.1007 / 978-3-642-32925-8_1。ISBN 978-3-642-32925-8。
- Aref, Molham; ten Cate, Balder; Green, Todd J.; Kimelfeld, Benny; Olteanu, Dan; Pasalic, Emir; Veldhuizen, Todd L.; Washburn, Geoffrey (2015-05-27)。「LogicBlox システムの設計と実装」。2015 ACM SIGMOD国際データ管理会議の議事録。SIGMOD '15。ニューヨーク、ニューヨーク、米国: Association for Computing Machinery。pp. 1371– 1382。doi :10.1145/2723372.2742796。ISBN 978-1-4503-2758-9. S2CID 2161070。
- Kifer, Michael; Liu, Yanhong Annie (2018-09-19)。宣言的論理プログラミング: 理論、システム、およびアプリケーション。Morgan & Claypool。p. 345。ISBN 978-1-970001-97-6。
さらに読む
- Halpin, Terry; Rugaber, Spencer (2014-11-13)。LogiQL: スマート データベース用のクエリ言語。CRC Press。ISBN 978-1-4822-4493-9。