房产信息管理系统

目录1设计内容 (1)2 概要设计 (1)2.1需求分析过程 (1)2.2数据字典 (2)3. 详细设计 (3)3.1概念模式设计 (3)3.1.1实体 (3)3.1.2局部视图 (3)3.1.3视图集成 (7)3.2逻辑模式设计 (8)3.2.1将E-R图转化为关系模式 (8)3.2.2数据模型的优化 (8)4程序源码 (10)4.1建表的SQL语句 (10)4.2建立视图 (11)4.3触发器 (11)4.4建立索引 (12)5. 程序运行与调试 (12)6总结 (15)参考文献 (16)成绩评定 (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房产科（受理时间，受理编号）3NF3住房（房号，最低分数，每平方米租金，分配标志，住房面积）3NF4分房（身份证号，要求面积，部门，职称，家庭人口，住房面积，）3NF 5调房（原房号，要求面积，部门，职称，家庭人口，住房分数，原房面积）3NF3.2.2数据模型的优化1房产科（受理人，受理编号）3NF2住房（房号，最低分数，每平方米租金，分配标志，住房面积）3NF3分房（身份证号，要求面积，部门，职称，家庭人口，住房面积，）3NF 4调房（原房号，要求面积，部门，职称，家庭人口，住房分数，原房面积，）3NF5申请者（身份证号，部门，职称，家庭人口）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 10 not null 主属性要求面积int 4 外码部门char 20 外码职称char 20 not null 外码家庭人口int 2 not null 外码住房分数int 10 not null 外码原房面积int 4 not null 外码表3-5申请者信息表字段名称数据类型长度约束属性身份证号int 20 not null 主属性部门char 20 not null 非主属性职称char 20 非主属性家庭人口int 2 非主属性4程序源码4.1建表的SQL语句CREA T TABLE USERUno CHAR(20) PRIMARY KEYUsp CHAR(20)Upla CHAR(20)Ufn int //建用户1 CREA T TABLE USER2Upln int PRIMARY KEYUplm intUpls CHAR(20) //建用户2CREA T TABLE ROOMRno int PRIMARY KEYRm intRrt CHAR(10)Upls intRrs int //建已住房CREA T TABLE MASTER(Mname char(20)Mno int) PRIMARY KEYCREA T TABLE DROOMUno char(20) PRIMARY KEYUsp CHAR(20)Upla CHAR(20)Ufn intUpls intRrs int //建空房CREA T TABLE CROOMRono int PRIMARY KEYUsp CHAR(20)Upla CHAR(20)Ufn intUpls intRrs intRos char(20)CREA T ROLE KINGGRANT UPDA TE(ALL)ON ALLTO KINGWITH ADMIN OPTION4.2建立视图CREA T VIEW UURMOCAS SELECTFROM USER USER2 ROOM MASTER DROOM CROOMWHEREU.Uno=D.Uno AND p=p AND C.RS=R.Upls AND R.Upls=U.Upls 4.3触发器建立一个如果申请者的住房分数小于700，自动改为700的触发器——insert_or update_wageCreate trigger insert_or update_wageBefore insert or update on managerFor each rowAs beginIf (ne w. Professinal=’king’) and (uplm.<700) thenNew.uplm=700;End if;End4.4建立索引在申请者表USER上建立唯一索引D-USERNAME Create unique index D-USERNAME ON USER;在房屋表ROOM上建立唯一索引M-ROOM Create unique index M-ROOM ON ROOM;5. 程序运行与调试运行界面如图所示：图5-1 房屋登记界面如图图5-2 房屋备案登记图5-3 填写房屋基本信息运行界面调试：1输入错误计数器显示错误：回溯法：（a）检验用户名输入正确性和内容正确性缺少计数器。