查询数据记录中的唯一性？

Question

在Datalog中是否可以针对以下事实编写查询：对于一个变量，对于其他变量的每个可能值，正好有一个值？

例如找到所有X ，使得expr(X, Y)每个Y只有一个X

Answer 1

在普通数据记录中，您可以通过首先计算具有多个X的Y，然后使用其计算具有1 X的Y来表示这一点。

  problem(y) <- expr(x1, y), expr(x2, y), x1 != x2.
  exactly_one_opt1(y) <- expr(_, y), !problem(y).

大多数系统还支持聚合，这可能是一种更有效的解决方案，但是聚合语法不是标准的Datalog。 我在这里使用LogiQL（LogicBlox Datalog）语法：

  count[y] = c <- agg<<c = count()>> expr(_, y).
  exactly_one_opt2(y) <- count[y] = 1.