首页 文章

数据记录中的构建顺序

提问于
浏览
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)

1 回答

  • 0

    Datalog中的查询评估基于first-order logic,因此,它有一些限制 . 在一阶语言中无法表征可数性或不可数性 .

    检查Countability .

相关问题