database - 不相交集的从句形式

Question

如何以分句形式提及两个不相交的集合 A(x,y) 和 B(x,y)？我能够编写 FD 和其他约束的从句形式。但我无法做到这一点。有人可以帮忙吗？

Answer 1

不就是 {{A(x,y)},{B(x,y)}} 吗？

A 和 B 是谓词，x 和 ya 是常量（通常是小写字母）还是变量（通常是大写字母）？