0

我正在使用带有否定的数据记录版本。我正在尝试编写一个程序,为关系中的每一行分配递增的序列号。例子:

给定一些EDB

items("a", "b") items("a", "c") items("b", "b")

我希望能够生成以下 IDB,为中的每一行分配一个序列值items

items_with_seq("a", "b", 0) items_with_seq("a", "c", 1) items_with_seq("b", "b", 2)

4

1 回答 1

0

Datalog 中的查询求值是基于一阶逻辑的,因此存在一定的局限性。不可能在一阶语言中描述可数性或不可数性。

检查可数性

于 2018-04-05T08:14:19.323 回答