相容表

定义：

表R和表S是相容表，当且仅当，表R和表S的表头相同，并且对应的列中的数据是相同的类型和相同的语义。

用数据库的语言表示如下：

R and S are compatible iff Head(R)=Head(S), with attributes chosen from the same domains and with the same meanings.

举例如下：

表R1和表S1是相容表，满足定义

表R2和S2不是相容表，因为列A的类型不一样

R3和S3不是相容表，因为Head(R3)和Head(S3)不一样