瀑布模型是将软件生存周期各个活动规定为依线性顺序连接的若干阶段的模型。它规定了由前至后、相互衔接的固定次序，如同瀑布流水，逐级下落。瀑布模型假设，一个待开发的系统需求是完整的、简明的、一致的，而且可以先于设计和实现完成之前产生

对于一个分布式系统，一致性、可用性和分区容忍性三个特点最多只能三选二

修改：create改alter

where可用的运算符

Armstrong公理系统（函数依赖的公理系统）：设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：

对于属性集X的每一个确定的值，都有属性Y的一个唯一确定的值与之对应

θ > ⩝和∃ > ¬ > ∧和∨ > ⇒，加括号时，括号中的运算符优先。