考虑维护银行贷款和相应分期付款详细信息的数据库。每笔贷款都由一个唯一的 loan_no, amount 表示。每个分期付款都由 ino、iamount、idate 表示。贷款和分期付款的关联由名为 loan_inst 的关系表示。一笔贷款可能有多次分期付款。对于每笔贷款，分期付款通过 ino 进行区分。分期付款的存在取决于贷款。为上述表示实体集、关系、映射基数和参与约束的数据库构建 Er 图。