被称为关系的两个不变性,应该由关系系统自动支持的是