参照完整性约束确保外键引用的主键值必须在被引用的关系中存在，这是通过定义外键来实现的。