相容表

相容表，表R和表S是相容表，若且唯若，表R和表S的表頭相同，並且對應的列中的數據是相同的類型和相同的語義。

定義：
表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)不一樣