20140501战德臣《大学计算机-计算思维导论》大学计算机第11讲-怎样管理和利用数据II.ppt

* * * * * * * * * * * * * * * * * * * * * 认识世界?发现规律?形成改造世界的手段 从感性认识(抽象)到理性认识(理论)，再由理性认识(理论)回到实践(设计)中 抽象、理论和设计概括了计算学科中的基本内容，是计算学科认知领域中最基本原始的3个概念，是科学的思维方法。 * 认识世界?发现规律?形成改造世界的手段 从感性认识(抽象)到理性认识(理论)，再由理性认识(理论)回到实践(设计)中 抽象、理论和设计概括了计算学科中的基本内容，是计算学科认知领域中最基本原始的3个概念，是科学的思维方法。 * 认识世界?发现规律?形成改造世界的手段 从感性认识(抽象)到理性认识(理论)，再由理性认识(理论)回到实践(设计)中 抽象、理论和设计概括了计算学科中的基本内容，是计算学科认知领域中最基本原始的3个概念，是科学的思维方法。 * * * 理论: 是经过实践检验的系统化了的科学知识体系，它是由科学概念、科学原理以及对这些概念原理的理论论证所组成的体系。科学认识由感性阶段上升为理性阶段就形成了科学理论。 理论: 源于数学，是从抽象到抽象的升华，它们已经完全脱离现实事物，不受现实事物的限制，具有精确的优美的特征，因而更能把握事物的本质。 理论研究的基本方法是：表述研究对象的特征(定义和公理)?假设对象之间的基本性质和对象之间可能存在的关系(定理)?确定这些关系是否为真(证明)?形成最终的结论。 科学方法论中关于“理论”的描述 怎样研究理论? 数据抽象与设计III---理论之定义-公理-定理-证明 (1)什么是“理论”? 理论：是对规律进行严密化描述及论证的过程 通常由定义、公理、性质、定理和证明等内容构成。 定义是对概念的严密化描述。 公理是可由概念及其固有性质证明其正确性的结论性的描述。 定理是可由定义、公理和其他定理证明其正确性的结论性的描述。 证明是公理、定理正确性的论证过程。 数据抽象与设计III---理论之定义-公理-定理-证明 (2)怎样研究“理论”? 理论：前提是抽象，基础是形式化和数学化。 能够形式化数学化的概念和规律是严密的概念和规律。 理论：数学化逻辑严密化各种概念； 抽象形态 理论形态 数据抽象与设计III---理论之定义-公理-定理-证明 (2)怎样研究“理论”? 关系 笛卡尔积 域 关系代数 理论：前提是抽象，基础是形式化和数学化。 能够形式化数学化的概念和规律是严密的概念和规律。 数据抽象与设计III---理论之定义-公理-定理-证明 (2)怎样研究“理论”? 数据抽象与设计III---理论之定义-公理-定理-证明 (3)理论是怎样指导实践的(示例)?? 基本动作 对基本动作的 抽象与控制 “并”动作 ? “差”动作 ? “积”动作 ? “选择”动作 ? “投影”动作 ? 指令 基本动作 笛卡尔积(?)的实现算法 按照数学确定的算法 考虑计算环境确定的算法 关系模型基本运算 基本动作 对基本动作的 抽象与控制 “并”动作 ? “差”动作 ? “积”动作 ? “选择”动作 ? “投影”动作 ? 解释这种组合, 并按次序调用基本动作予以执行 程序 执行 机构 程序 指令 基本动作 Select Sname From Student, SC Where Student.S# = SC.S# and SC.C# = ‘001’ Order By Score DESC; ?Sname(?student.s#=sc.s#(Student ? SC)) 关系模型基本运算 关系模型基本运算的各种组合 SQL语言 数据库管理系统 数据抽象与设计III---理论之定义-公理-定理-证明 (3)理论是怎样指导实践的(示例)?? 复杂动作 = 基本动作的各种方式的组合 基本动作 对基本动作的 抽象与控制 “并”动作 ? “差”动作 ? “积”动作 ? “选择”动作 ? “投影”动作 ? 解释这种组合, 并按次序调用基本动作予以执行 程序 执行 机构 程序 指令 基本动作 Select Sname From Student, SC Where Student.S# = SC.S# and SC.C# = ‘00