Datomic将谓词应用于基数很多的属性

Question

假设我有一个具有多值属性的Datomic实体（例如，数字）。如何返回其值不包含特定数字的实体列表？

举个例子，

{:db/id #db/id [:db.part/db]
:db/ident :strs
:db/valueType :db.type/string
:db/cardinality :db.cardinality/many
db.install/_attribute :db.part/db
}

我想查找列表中不包含数字1的所有实体。

If I do something like:
[:find ?e :where 
[?e :strs ?v]
(not [(.contains ?v "b")])
]

但我有

e1 :strs ["a", "b", "c"]
e2 :strs ["a", "b"]
e3 :strs ["h", "i", "j"]

然后返回所有实体，因为查询被解释为 ＆＃34;找到拥有不包含＆＃34; b＆＃34;＆＃34;的成员的实体， 但我需要

＆＃34;找到每个成员不包含的实体e＆＃34; b＆＃34;＆＃34;。

谢谢！

Answer 1

数据库中:cardinality/many的值为still stored as individual values under the hood。所以你的数据库中e1的事实是：

[[e1 :strs "a" tx]
 [e1 :strs "b" tx]
 [e1 :strs "c" tx]]

您可以在查询中利用它：

'[:find ?e
  :where
  [?e :strs]
  (not [?e :strs "b"])]

对于数据库中的所有事实，这将找到其?e值不是:strs的所有"b"。