许昌消费系统

许昌消费 系统



美容院消费系统,
河南新交际有限公司公司商铺 河南新交际主要经营计算机软件开发；智能化系统集成、弱电系统综合布线；计算机及配件、电子设备、广播电子设备、通讯设备的销售及服务。,郑州新交际弱电工程有限公司,地址是河南省郑州河南 郑州市 ,主要经营郑州综合布线、监控、广播、多媒体、会议系统。,河南新交际监控工程公司是一家从事监控施工与综合布线为一体的企业，主要业务有监控设备、监控装置、安防监控施工、综合布线、弱电工程、监控摄像头、监控系统研发生产与销售，是您身边的监控设备参考企业。。
该数据库的目的是，管理学校餐饮系统。实现对就餐者（教职工、学生）消费，食堂窗口收益，工作人员工作等信息的统计、管理。待实现的功能主要有：
1、就餐者凭饭卡在食堂消费就餐，每张饭卡与每个就餐者对应。饭卡中记录有持有者的个人信息及充值情况（余额）等。
2、学校有多个校区，每个校区又有多个食堂。就餐者可根据方便情况自由选择，在任意食堂的任意窗口消费就餐。
3、每个食堂中有多个窗口，每个窗口又有多种菜品。窗口有卡机，供就餐者刷卡消费。在相应窗口工作的多名工作人员，均可操纵卡机，并在卡机上检查盈利情况。
4、每次刷卡消费时，通过卡机，从就餐者饭卡中扣费，并增加至窗口盈利情况中。刷卡消费胜利，卡机滴声提示，若饭卡中余额缺乏，消费失败，卡机也显示告知。
5、就餐者可根据信息，从网上查到自己每次的消费就餐记录，包孕什么时间在哪个食堂的哪个窗口，消费了价值多少的菜品；工作人员可查到自己所在窗口的收益情况，包孕什么时间售出了价值多少的菜品；管理人员可检查并修改所有信息，包孕就餐者的个人信息、消费情况、充值情况，窗口的基本信息、盈利情况，工作人员的个人信息等。
1、实体属性
该数据库包孕六个实体：就餐者、食堂、窗口、菜品、工作人员、用户
（1）、就餐者（包孕教职工和学生），属性包孕：证件号（及教职工的工号和学生的学号）、姓名、性别、类型（即为老师还是学生）、院系、余额
（2）、食堂，属性包孕：名称、所在校区
（2）、食堂，属性包孕：名称、所在校区
（3）、窗口，属性包孕：名称、所在食堂、盈利
（4）、菜品，属性包孕：名称、所属窗口、价格
（5）、工作人员，属性包孕：工号、姓名、性别、所在窗口
（6）、用户，属性包孕：用户名、密码、权限（用户名，对教职工来说是工号，对学生来说是学号，对管理员来说是NULL）
2、实体联系
（1）、一个就餐者一次购买一种或多种菜品，“消费”关系，一对多，此关系具有属性“消费时间”
（2）、一种菜品属于一个窗口，一个窗口有多种菜品，“属于”关系，一对多
（3）、一个窗口位于一个食堂内，一个食堂有多个窗口，“属于”关系，一对多
（4）、一个工作人员在一个窗口工作，一个窗口有多名工作人员，“工作”关系，一对多，此关系具有属性“工作时间”
（5）、就餐者、工作人员、管理者均为用户，“属于”关系，一对一
3、完整的E-R图
（1）、合成初步E-R图
（2）、消除抵触，设计基本E-R图
菜品的名称、窗口的名称、食堂的名称均称为“名称”，存在命名抵触。为消除抵触，分别改为菜品名、窗口名、食堂名
转化为关系模式：
1、就餐者（证件号，姓名，性别，类型，院系，余额）
R1(U1,F1)
U1={证件号，姓名，性别，类型，院系，余额}
F1={证件号->姓名，证件号->性别，证件号->类型，证件号->院系，证件号->余额}
候选码：证件号
主属性：证件号
非主属性：姓名，性别，类型，院系，余额
不存在非主属性对码的局部函数依赖，不存在非主属性对码的传递函数依赖，不存在主属性对码的局部和传递函数依赖，不存在非平凡且非函数依赖的多值依赖
到达4NF
2、食堂（食堂名，所在校区）
R2(U2,F2)
U2={食堂名，所在校区}
F2={食堂名->所在校区}
候选码：食堂名
主属性：食堂名
非主属性：所在校区
不存在非主属性对码的局部函数依赖，不存在非主属性对码的传递函数依赖，不存在主属性对码的局部和传递函数依赖，不存在非平凡且非函数依赖的多值依赖
到达4NF
3、窗口（窗口名，食堂名，盈利）
R3(U3,F3)
U3={窗口名，食堂名，盈利}
F3={窗口名->食堂名，窗口名->盈利}
候选码：窗口名
外码：食堂名
主属性：窗口名
非主属性：食堂名，盈利
不存在非主属性对码的局部函数依赖，不存在非主属性对码的传递函数依赖，不存在主属性对码的局部和传递函数依赖，不存在非平凡且非函数依赖的多值依赖
到达4NF
4、菜品（菜品名，窗口名，价格）
R4(U4,F4)
U4={菜品名，窗口名，价格}
F4={菜品名->窗口名，菜品名->价格}
候选码：菜品名
外码：窗口名
主属性：菜品名
非主属性：窗口名，价格
不存在非主属性对码的局部函数依赖，不存在非主属性对码的传递函数依赖，不存在主属性对码的局部和传递函数依赖，不存在非平凡且非函数依赖的多值依