6.1 问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.3 数据依赖的公理系统 6.4 模式的分解 6.5 小结

1．1 Web概述 1．2 ASP特点及功能 1．3 ASP运行环境配置 1．4 ASP程序的语法和规则 1．5 小结

4.1数值微积分 4.1.1 近似数值极限及导数 4.1.2 数值求和与近似数值积分 4.1.3 计算精度可控的数值积分 4.1.4 函数极值的数值求解 4.1.5 常微分方程的数值解 4.2矩阵和代数方程 4.2.1 矩阵运算和特征参数 4.2.2 矩阵的变换和特征值分解 4.2.3 线性方程的解 4.2.4 一般代数方程的解 4.3 概率分布和统计分析 4.3.1 概率函数、分布函数、逆分布函数和随机数的发生 4.3.2 随机数发生器和统计分析指令 4.4 多项式运算和卷积 • 4.4.1 多项式的运算函数 • 4.4.2 多项式拟合和最小二乘法 • 4.4.3 两个有限长序列的卷积

介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式； 7.1 中间语言 7.2 声明语句 7.3 赋值语句 7.4 布尔表达式和控制流语句

上海交通大学：Basic Raster Graphics Algorithms for Drawing 2D Primitives

Transport Layer Identification of P2P Traffic

1 数据管理技术的发展 1.1.1人工管理 1.1.2 文件系统 1.1.3数据库 1.1.4 XML技术 2 数据描述 1.2.1概念设计中的数据描述 1.2.2 逻辑设计中的数据描述 1.2.3物理设计中的数据描述 1.2.4数据联系的描述 3 数据模型 1.3.1 数据抽象的过程 1.3.2 概念模型 1.3.3 逻辑模型 1.3.4 外部模型 1.3.5 内部模型 1.3.6 数据库系统的体系结构 1.3.7 数据独立性 1.4.1 数据库管理系统 1.4.2 数据库系统 4 数据库管理系统和数据库系统 DB、DBMS和DBS的概念 4 计算机基础教研室 5 关系模型 1.5.1 基本术语 1.5.2 关系的定义和性质 1.5.3 关系模型的3类完整性规则 6 关系数据库的规范设计 7 数据库设计过程

香港科技大学：Advanced Topics in Next￾Generation Wireless Networks

5.1 自下而上分析的基本问题 5.2 算符优先分析 5.3 LR分析法

香港城市大学：Introduction to Real-Time Systems（Design and Analysis of Algorithms）