房产信息管理系统

目　录 TOC \o "1-3" \h \u  HYPERLINK \l _Toc22889 1设计内容  PAGEREF _Toc22889 1  HYPERLINK \l _Toc24852 2 概要设计  PAGEREF _Toc24852 1  HYPERLINK \l _Toc17529 2.1需求分析过程  PAGEREF _Toc17529 1  HYPERLINK \l _Toc21193 2.2数据字典  PAGEREF _Toc21193 2  HYPERLINK \l _Toc18258 3. 详细设计  PAGEREF _Toc18258 3  HYPERLINK \l _Toc28800 3.1概念模式设计  PAGEREF _Toc28800 3  HYPERLINK \l _Toc28937 3.1.1实体  PAGEREF _Toc28937 3  HYPERLINK \l _Toc2530 3.1.2局部视图  PAGEREF _Toc2530 3  HYPERLINK \l _Toc1003 3.1.3视图集成  PAGEREF _Toc1003 7  HYPERLINK \l _Toc19525 3.2逻辑模式设计  PAGEREF _Toc19525 8  HYPERLINK \l _Toc838 3.2.1将E-R图转化为关系模式  PAGEREF _Toc838 8  HYPERLINK \l _Toc21449 3.2.2数据模型的优化  PAGEREF _Toc21449 8  HYPERLINK \l _Toc20635 4程序源码  PAGEREF _Toc20635 10  HYPERLINK \l _Toc25155 4.1建表的SQL语句  PAGEREF _Toc25155 10  HYPERLINK \l _Toc23391 4.2建立视图  PAGEREF _Toc23391 11  HYPERLINK \l _Toc21120 4.3触发器  PAGEREF _Toc21120 11  HYPERLINK \l _Toc16300 4.4建立索引  PAGEREF _Toc16300 12  HYPERLINK \l _Toc21163 5. 程序运行与调试  PAGEREF _Toc21163 12  HYPERLINK \l _Toc21396 6总结  PAGEREF _Toc21396 15  HYPERLINK \l _Toc1756 参考文献  PAGEREF _Toc1756 16  HYPERLINK \l _Toc24562 成绩评定  PAGEREF _Toc24562 16  1设计内容 房产信息管理系统 2 概要设计 2.1需求分析过程 1流程 申请者按照要求填写并递交一份申请表，按照申请表上的数据进行一一核实，若正确则根据分数的高低将房屋分发给申请者，按照住房分数的高低决定申请者拥有房屋的好坏，若申请者提供的申请表错误，则返还给申请者，若申请者的住房分数不够达到申请的要求，也返还给申请者。 2功能 实现将核实正确的信息输入后自动分配房屋，分房，换房，退房 3流程图 
图2-1 系统流程图 申请者通过递交住房申请（分房，换房或退房）到核实单位，核实单位主要核实申请的合法性，不合法予以退回，合法转到房产科进行处理。 房产科判断申请是否是退房申请，如果是，予以受理，将住户的名字删除，若不是，则判断该申请者的住房分数是否足够分房或者换房，若够，予以受理，若不够，将申请返还给申请者。 2.2数据字典 表2-1 数据项 数据项名 含义说明 数据类型 长度 与其他数据项的逻辑关系 身份证 申请人相关信息 整 型 20 申请者的重要标示 职称 申请人相关信息 字符型 20 住房分数 申请人相关信息 整 型 10 家庭人口 申请人相关信息 整 型 2 原房面积 申请人相关信息 整 型 2 要求面积 申请人相关信息 整 型 4 受理人 受理单位相关信息 字符型 8 受理编号 受理单位相关信息 整 型 10 房号 住房相关信息 整 型 10 房屋信息的重要标示 最低分数 住房相关信息 整 型 10 房屋面积 住房相关信息 整 型 4 每平方米租金住房相关信息 整 型 4 分配标志 住房相关信息 字符型 2 表2-2 数据结构 数据结构名 含义说明 组成 申请者信息表 定义申请者相关信息 身份证号，职称，住房分数，家庭人口，原房面积，要求面积 房屋状态表 定义房屋的相关信息 房号，最低分数，房屋面积，没平方米租金，分配标志 房屋分配表 定义房屋与用户的分配关系 房号，身份证号 房屋转换表 定义房屋与用户的转换关系 房号，身份证号，原房面积 房屋丢弃表 定义房屋与用户的丢弃关系 房号，身份证号 表2-3 数据流 数据流名 来源 去向 申请者信息 申请者 房屋管理处 房屋信息 房屋 房屋管理处 房屋分配信息 房屋的分配 房屋管理处 房屋转换信息 房屋的转换 房屋管理处 房屋丢弃信息 房屋的丢弃 房屋管理处 表2-4 数据存储 数据存储名 含义说明 组成 申请者信息 存储了申请者的相关信息 申请信息，身份证，住房积分 房屋信息 存储了房屋的相关信息 房屋面积，需要积分，房号 房屋分配信息 存储了分房的相关信息 房号，身份证号 房屋转换信息 存储了换房的相关信息 原房的房号，换房的房号，身份证号 房屋丢弃信息 存储了退房的相关信息 原房的房号，身份证号 表2-5 处理过程 处理过程名 含义说明 输入 输出 分房过程 按照住房分数的高低分配空房 身份证 分得的结果 换房过程 将现有的房屋与空房屋交换 身份证 交换结果 退房过程 将现有的住房退还 身份证 退房结果 3. 详细设计 3.1概念模式设计 3.1.1实体 申请者，住房，房产科，分房，调房，退房 3.1.2局部视图 1申请者-填写-分房申请 申请这填写分房申请才可申请分房，下图表示为申请者-填写-分房申请的关系图。   图3-1 申请者-填写者-分房申请关系图 事物规则：一份申请由一个申请者填写 一个申请者填写一份申请 2申请者-填写-调房申请   图3-2申请者-填写-调房申请关系图 3申请者-填写-退房申请  图3-3 申请者-填写-退房申请关系图 4受理员-分配-住房  图3-4受理员-配-住房关系图 事物规则：一个受理可以分配多个住房 一个住房能有一个受理员分配 5受理员-受理-分房申请   图3-5受理员-受理-分房申请关系图 事物规则：一个受理员能受理多个申请 一个申请只能由一个受理员受理 6受理员-受理-调房申请  图3-6 受理员-受理-调房申请关系图 7受理员-受理-退房申请   3-7 受理员-受理-退房申请关系图 3.1.3视图集成 所有局部ER模式都设计好了后，接下来就是把它们综合成单一的全局概念结构。全局概念结构不仅要支持所有局部ER模式，而且必须合理地表示一个完整、一致的数据库概念结构。 1确定公共实体类型 为了给多个局部ER模式的合并提供开始合并的基础，首先要确定各局部结构中的公共实体类型。在这一步中我们仅根据实体类型名和键来认定公共实体类型。一般把同名实体类型作为公共实体类型的一类候选，把具有相同键的实体类型作为公共实体类型的另一类候选。 2局部ER模式的合并 合并的原则是：首先进行两两合并；先和合并那些现实世界中有联系的局部结构；合并从公共实体类型开始，最后再加入独立的局部结构。 3消除冲突 冲突分为三类：属性冲突、结构冲突、命名冲突。 设计全局ER模式的目的不在于把若干局部ER模式形式上合并为一个ER模式，而在于消除冲突，使之成为能够被所有用户共同理解和接受的同一模型。 3.2逻辑模式设计 3.2.1将E-R图转化为关系模式 1申请者（身份证号，房号，部门，职称，家庭人口，住房分数，住房面积） 为2NF 设定2个实体：R1（身份证号，部门，职称，家庭人口） R2（房号，住房分数，住房面积） 2房产科（受理时间，受理编号）3NF 3住房（房号，最低分数，每平方米租金，分配标志，住房面积）3NF 4分房（身份证号，要求面积，部门，职称，家庭人口，住房面积，）3NF 5调房（原房号，要求面积，部门，职称，家庭人口，住房分数，原房面积） 3NF 3.2.2数据模型的优化 1房产科（受理人，受理编号）3NF 2住房（房号，最低分数，每平方米租金，分配标志，住房面积）3NF 3分房（身份证号，要求面积，部门，职称，家庭人口，住房面积，）3NF 4调房（原房号，要求面积，部门，职称，家庭人口，住房分数，原房面积，） 3NF 5申请者（身份证号，部门，职称，家庭人口） 6申请者住房信息（房号，住房分数，住房面积） 表3-1 受理人信息表MASTER 字段名称 数据类型 长度 约束 属性 受理人 char 8 not null 非主属性 受理编号 int 10 not null 主属性 表3-2住房信息表ROOM 字段名称 数据类型 长度 约束 属性 房号 int 10 not null 主属性 最低分数 int 10 not null 非主属性 每平方米租金 int 4 非主属性 分配标志 char 4 not null 非主属性 住房面积 int 4 not null 非主属性 表3-3分房信息表DROOM 字段名称 数据类型 长度 约束 属性 身份证号 int 20 not null 外码 要求面积 int 4 not null 外码 部门 char 20 not null 主属性 家庭人口 int 2 非主属性 住房面积 int 4 not null 非主属性 表3-4调房信息表CROOM 字段名称 数据类型 长度 约束 属性 原房号 int