我正在使用带有否定的数据记录版本 . 我正在尝试编写一个程序来分配关系中每行的序列号 . 例:
鉴于一些EDB
items("a", "b") items("a", "c") items("b", "b")
我希望能够生成以下IDB,为 items 中的每一行分配一个序列值:
items
items_with_seq("a", "b", 0) items_with_seq("a", "c", 1) items_with_seq("b", "b", 2)
Datalog中的查询评估基于first-order logic,因此,它有一些限制 . 在一阶语言中无法表征可数性或不可数性 .
检查Countability .
1 回答
Datalog中的查询评估基于first-order logic,因此,它有一些限制 . 在一阶语言中无法表征可数性或不可数性 .
检查Countability .