where可用的运算符

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

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

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

是对关系的某种约束条件，用来保证用户对数据库作出修改时不会破坏数据的一致性，防止对数据的意外破坏

数据库管理系统主要功能包括数据定义、数据库操作、管理和存取

主动攻击：击会导致某些数据流被篡改或者产生虚假的数据流