deercho的博客

开门见山，目前的数据关系图有ER图和MERISE图等等，一般英美用ER的多，欧洲用MERISE的多，我先简单介绍一下ER图如下，表示一个老师上N门课，一门课只能被一个老师上MERISE图如下，表示老师一个老师对应1~n门课，一门课对应1个老师那么我们应该把外键加在课程的地方，也就是ER的N处，MERISE的1处，为什么呢？我用MERISE列表举例当插入一个上课关系时（谁上什么课），我们添加外键就是在已经有一方的条件下插入这个关系。比如说，在“老师”表中插入外键，其实“谁上课”这个答案已经

我打算以后都这么复习了，因为书上的东西老要忘掉。我们是法方的教材所以可能会略有不同。我不会讲得太细，一些概念自己去搜大概是：三段论词和公式树和括号真值表和逻辑公式化简合取范式析取范式及其转化存在，任意全称量词及其否定式三段论–syllogisms三段论包括一个大前提，一个小前提，一个结论比如著名的“苏格拉底三段论”：大前提：所有的人都是要死的；小前提：苏格拉底是人；结论：所以苏格拉底是要死的。用欧拉图表示就是：判断真假也比较容易，一般要把所有可能情况列出来，都满足就是