在关系模型中，“关系中不允许出现相同元组”的约束是通过【 】实现的。

王某向钱某借了50万元人民币，钱某要求王某提供担保。遂王某以其个人所有的一间价值10万元的房屋为其与钱某之间的借款合同担保作了抵押担保。双方当事人签订了一份书面房屋抵押合同。到期，王某没有还钱。

假设双方已经办理了房屋抵押登记，则下列说法正确的是：( )。

A．钱某可以行使对房屋的抵押权

B．钱某可以拍卖该房屋，就拍卖价款受偿债权

C．钱某可以直接将房屋过户到自己名下，冲抵债权

D．王某死后，当房屋被王某之子小王继承，钱某就不可以再行使抵押权