polarC4567的博客

原创 软件测试 第二讲 需求和设计评审

原创 软件测试 第一讲

正确性，完整性，可用性，可维护性。

原创 数据库系统 第10讲 动态SQL

这块基本就是课外实验1的内容，详见。

原创 数据库系统 第9讲 嵌入式SQL

char张三;intvSage;//用户可在此处基于键盘输入给specName赋值intofromStudentwhereSname =:specName;ODBC(OpenDataBase Connectivity)是一种跨DBMS的DB操作平台，它在应用程序与实际的DBMS之间提供了一种通用接口许多实际的DBMS并不支持可滚动游标，但通过ODBC可以使用该功能可通过判断是否到EOF位置(最后一条记录的后面),或BOF位置(起始记录的前面)

原创 数据库系统 第8讲 完整性和安全性

级别高的权利自动包含级别低的权利。如某人拥有更新的权利，它也自动 拥有读的权利。在有些DBMS中，将级别3的权利称为账户级别的权利，而将 级别1和2称为关系级别的权利。授予视图访问的权利，并不意味着授予基本表访问的权利。授权者授予的权利必须是授权者已经拥有的权利。

原创 数据库系统 第7讲 复杂查询与视图

视图在SQL中只存储其由基本表导出视图所需要的公式，即由基本表产生 视图的映像信息，其数据并不存储，而是在运行过程中动态产生与维护的。对应概念模式的数据在SQL中被称为。,而对应外模式的 数据称为。

原创 数据库系统 第6讲 SQL语言

SQL语言是集DDL、DML和DCL于一体的数据库语言SQL语言主要由以下9个单词引导的操作语句来构成，但每一种语句都能表 达复杂的操作请求Create(建立),Alter(修改),Drop(撤消)模式的定义和删除，包括定义Database,Table,View,Index,完整性约束条件等，也包括定义对象(RowType行对象,Type列对象)DML语句引导词：Insert ,Delete, Update, Select。

原创 数据库系统 第5讲 关系演算

与、或、非运算符存在量词与全称量词例题存在量词：“所有”是想表达“我只要挑出那些满足条件的人”全程量词：“所有”是想表达“某个人的每一项都必须满足”这里划红线的前半部分起到类似于WHOSE的作用，后面括号中的变量就是变名的变量嵌套，同理，系WHOSE学生WHOSE成绩>60**全程量词+存在量词对于每一门课程u，都要能找到一条学生 t 的选课记录，且这条记录是关于u这门课的。也就是说，学生t把所有课程Course都选了！

原创 数据库系统 第4讲 关系代数

关系代数操作：集合操作和纯关系操作为什么提出关系代数总结：θ-连接：R[A]θS[B]等值连接：R[A] = S[B]自然连接：R[A] = S[A]不正确！自然连接会自动加上 SC.C# = SC1.C#，这在本题是不应该的！自然连接 = 在所有同名属性上做等值连接，并自动消除重复的列。

原创 数据库系统 第3讲 关系模型概念

表：关系关系：一组域D1, D2,…, Dn的笛卡尔积的子集。笛卡尔积中具有某一方面意义的那些元组被称作一个关系(Relation)关系模式：关系可用R(A1:D1, A2:D2, … , An:Dn表示，可简记为R(A1, A2, …

原创 tmux常用命令及快捷键

【代码】tmux常用命令及快捷键。

原创 数据库系统 第12讲 IDEF1x建模

完全分类联系&非完全分类联系。

原创 数据库系统 第2讲 结构系统与演变

总结就是用户模式-局部模式-外模式：1概念模式-全局模式-逻辑模式：1存储模式-物理模式-内模式：n重要发展

原创 软件构造 第11讲 设计模式

定义一个用于创建对象的接口，让其子类来决定实例化哪一个类，从而使一个类的实例化延迟到其子类。代码中指明要具体 创建的实例时，用工厂方法。不知道要创建哪个具体类的实例，或者不想在。

原创 软件构造 第10讲 可维护性

语法。

原创 软件构造 第9讲 复用

代码层面模块层面：类、接口库层面：API，包系统层面：框架。

原创 软件构造 第8讲 等价性

instanceof：动态检查，可变类型&不可变类型。

原创 软件构造 第7讲 OOP

privateonlyprotectedpublic– Accessible from anywhere多态的三种类型。

原创 软件构造 第6讲 ADT

解释: Collections.unmodifiableList() 方法接受一个 List 并返回一个新的不可修改的 List（抽象类型）。解释: BigInteger.mod() 方法接受一个 BigInteger 对象作为参数，并返回一个新的 BigInteger（抽象类型）。解释: String.toUpperCase() 方法返回一个新的 String 对象，其内容是调用字符串的大写版本。虽然它返回的是一个集合，但它只是观察映射的状态，而不改变它，所以是 Observer。做出具体的解释：每个。

原创 软件构造 第5讲 设计规约Spec

方法的规范可以讨论方法的参数和返回值，但它不应该讨论方法的局部变量或方法类的私有字段。确定的规约：给定一个满足precondition的输入，其输出是唯一的、明确的。非确定的规约：同一个输入， 多次执行时得到的输出可能不同。前置条件：对客户端的约束，在使用方法时必须满足的条件。声明式规约：没有内部实现的描述，只有 “初-终”状态，后置条件：对开发者的约束，方法结束时必须满足的条件。契约：如果前置条件满足了，后置条件必须满足。前置条件不满足，则方法可做任何事情。欠定的规约：同一个输入可以有多个输出。

原创 软件构造 第4讲

operation name is used for different types 同样的操作名可用于不同。Set：集合是包含零个或多个唯一对象的无序集合。Array:长度不可变。Map：无序（键，值）

原创 软件构造 第1讲&第3讲

（Correctness）、健壮性（Robustness）（针对异常情况处理）、可扩展性（Extendibility）、可复用性（Reusability）、兼容性（Compatibility）、性能（Efficiency）、可移植性（Portability）（Java的优点之一）、易用性（Easy of use）、功能性（Functionality）、及时性（Timeliness）外部质量因素影响用户，内部质量因素影响软件本身和它的开发者。外部质量取决于内部质量。不同质量因素折中，但”

原创 GIT常用命令

【代码】GIT常用命令。

原创 git入门指令学习

git remote add + 名字 + 连接地址。$ git push -u 仓库名称 分支。$ git commit -m "注释"