计算机科学及技术方法论3.pptVIP

5. WHERE 子句 语法成分 比较运算符 ?、? ?、?、??、=、 ? ? 逻辑运算符 AND，OR，NOT BETWEEN 条件 判断表达式的值是否在某范围内 5. WHERE 子句示例 PROF(P# , PNAME, AGE, D# , SAL) DEPT(D# , DNAME , DEAN) Ex 1: 查询工资低于2000的老师的姓名、工资、系别 SELECT pname , sal , dname FROM Prof , Dept WHERE sal 2000 AND Prof.d# = Dept.d# Ex 2: 查询工资在1000-2000之间的老师姓名 SELECT pname FROM Prof WHERE sal BETWEEN 1000 AND 2000 数据库设计流程 客观世界 抽象 关系模型 规范化 设计（SQL） 三、例子2 程序设计语言三种形态实例 自然语言 应用语言 （4GL） 高级语言 汇编语言 机器语言 （表3.3） （表3.2） （表3.1） （表3.4） 抽象 理论 设计 t 1、自然语言与形式语言 图3.2 P62 状态 规则：五元组（Qi Sj Sk R（或L或N）Ql） Qi：当前状态 Sj：从方格中读入符号 Sk：写入方格中的符号 R、L、N：右移、左移（一格），不移动 Ql：下一状态 实例（P63-P64） 2、预备知识——图灵机 （1）什么是图灵机 图灵机及其他计算模型 图灵的观点及结论： 凡是能用算法方法解决的问题，也一定能用图灵机解决；凡是图灵机解决不了的问题，任何算法也解决不了。 与图灵机等价的计算模型： 递归函数 λ-演算 POST规范系统 图灵机是从过程这一角度来刻画计算的本质，其结构简单、操作运算规则也较少，从而为更多的人所理解。 图灵机 图灵机由一条两端可无限延长的带子、一个读写头以及一组控制读写头工作的命令组成， 图灵机 写在带子上的符号为一个有穷字母表：{S0，S1，S2，…，Sp}。 可以认为这个有穷字母表仅有S0、S1两个字符， 其中S0可以看作是“0”，S1可以看作是“1”， 由 “0”和“1”组成的字母表可以表示任何一个数。 由于“0”和“1”只有形式的意义，因此，也可以将S0改称为“白”，S1改称为“黑”，这样改称的目的在于割断与直觉的联系，并加深对布尔域中的值{真，假}，以及二进制机器本质的理解。机器的控制状态表为：{q1，q2，…，qm}。 将一个图灵机的初始状态设为q1，在每一个具体的图灵机中还要确定一个结束状态qw。 一个给定机器的“程序” 机器内的五元组（qiSjSkR（或L或N）ql）形式的指令集，五元组定义了机器在一个特定状态下读入一个特定字符时所采取的动作。5个元素的含义如下： qi表示机器目前所处的状态； Sj表示机器从方格中读入的符号； Sk表示机器用来代替Sj写入方格中的符号； R、L、N分别表示向右移一格、向左移一格、不移动； ql表示下一步机器的状态。 一个机器计算的结果是从机器停止时带子上的信息得到的。容易看出，q1S2S2Rq3指令和q3S3S3Lq1指令如果同时出现在机器中，当机器处于状态q1，第一条指令读入的是S2，第二条指令读入的是S3，那么机器会在两个方块之间无休止地工作。 另外，如果q3S2S2Rq4和q3S2S4Lq6指令同时出现在机器中，当机器处于状态q3并在带子上扫描到符号S2时，就产生了二义性的问题，机器就无法判定。 例3.9 ： b表示空格，q1表示机器的初始状态， q4表示机器的结束状态，设带子上的输入信息读入头位对准最右边第一个为0的方格，状态为初始状态q1。规则如下。 q1 0 1 L q2 q1 1 0 L q3 q1 b b N q4 q2 0 0 L q2 q2 1 1 L q2 q2 b b N q4 q3 0 1 L q2 q3 1 0 L q3 q3 b b N q4 计算结果即对给定的数加1。 以上命令计算的是这样一个函数：S(x)＝x＋1。当没有输入时，即初始状态所指的方格为空格（b）时，不改变空格符，读写头不动并停机。 图灵机的计算能力 图灵机可以计算 S(x)＝x＋1（后继函数）， N(x)＝