带符号的ER模型