问答题
简答题
试由amstrong 公理系统推导出下面三条推理规则：
（ 1 ）合并规则：若X 一Z ， X 一Y ，则有X 一YZ
（ 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z
（ 3 ）分解规则：x 一Y ， zcy ，有x 一z
【参考答案】
（ 1 ）已知X 一Z ，由增广律知哟，YZ ，又因为X 一......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
建立一个关于系、学生、班级、学会等诸信息的关系数据库。 学生：学号、姓名、出生年月、系名、班号、宿舍区。 班级：班号、专业名、系名、人数、入校年份。 系：系名、系号、系办公地点、人数。 学会：学会名、成立年份、办公地点、人数。 语义如下：一个系有若干专业，每个专业每年只招一个班，每个班有若干学生。一个系的学生住在同一宿舍区。每个学生可参加若干学会，每个学会有若干学生。学生参加某学会有一个入会年份。 请给出关系模式，写出每个关系模式的极小函数依赖集，指出是否存在传递函数依赖，对于函数依赖左部是多属性的情况讨论函数依赖是完全函数依赖，还是部分函数依赖。指出各关系模式的候选码、外部码，有没有全码存在？ -
问答题
关系系统中，当操作违反实体完整性、参照完整性和用户定义的完整性约束条件时，一般是如何分别进行处理的？ -
问答题
假设有下面两个关系模式：职工（职工号，姓名，年龄，职务，工资，部门号），其中职工号为主码；部门（部门号，名称，经理名，电话），其中部门号为主码。用 sQL 语言定义这两个关系模式，要求在模式中完成以下完整性约束条件的定义：定义每个模式的主码；定义参照完整性；定义职工年龄不得超过 60 岁。
