問題タブ [datalog]

私はプレイフレームワークでdatomicを使用しています。プレイは素晴らしく、datomic は高速です。全体的に良い組み合わせです。私はダトミック（およびデータログ、つまりクエリ言語のダトミックの使用）に慣れていないため、結果をソートできません（私たちが行うように、SQLで並べ替えます）。例えば。

私のクエリが次の場合：

Dave Swag が監督した映画のタイトルを返す必要があり、結果は画像がリリースされた年で並べ替えられます。ありがとうございました ：）

最後のクエリに出力がない理由を誰かが親切に指摘できますか?

基本的に、vs-)vd かつ vs->ss かつ vd->sd の場合、sd は ss から派生したものであるかどうかを Z3 に伝えます。

2 つの入力の間に入る緯度を見つけようとしています。私のクエリ:

私のエラー:

私のクエリの何が問題なのかを理解するための助けをいただければ幸いです。in-boundsDatomic ルールを使用して各半分の部分を因数分解することもできる場合のボーナス ポイント。

CascalogとDatomicはどちらも、クエリ エンジンとして( SQL経由で) Datalogを使用することを選択しました。

Dave Thomasは次のように主張しています。

少量のスペースでの大規模なクエリには、SQL よりも Datalog の方が適しています。

私の質問は次のとおりです。データログは、列指向データベースの SQL よりも効率的ですか?

がdbデータベース値である場合、次のクエリは例外をスローします。

(情報モデルは、キャンペーンに属するいくつかのコンサートがあり、それを要求し、コンサート フィールドと各コンサートの要求数を取得したいというものです)。

スタックトレースは次のとおりです。

私は何か間違っていますか？

新しいバージョンの logicblox (4.2.1 より後の任意のバージョン) では、述語 "Person(p), hasPNr(p:n) -> int(n)" がある場合。そして、「+Person(p),+hasPNr[p]=1」というデータを挿入します。次に「-Person(1)」でデータを削除したい場合。「警告: 式 '1' の型は 'int' ですが、型 'Person' の値が必要です。コンパイラは、コードのコンパイルを許可するために述語 'hasPNr' の使用を挿入しました。」という警告メッセージが表示されます。このメッセージなしでデータを削除するにはどうすればよいですか?

mbrainzサンプル データでは、:artist/type は列挙型です。列挙型の値を :db/ident から取り出し、プル構文を使用して :artist/type キーの値として関連付けることは可能ですか?

これは私が得ることができる限り近いです：

プル構文を使用して結果をこのような形に変更することは可能ですか?

私は clojure の datomic.api を使用しています。次のようなやや複雑なデータログ クエリをリファクタリングしたいと考えています。

...もっと読みやすいものに。私の望みは(and...)、クエリのコンポーネントを a 内でローカルにバインドしlet、データログ リスト内の名前でそれらを参照することです。そのようです：

さまざまな引用let(および datomic.api/q のリスト内での引用解除) が機能しませんでした。助言がありますか？