排除字符组

纵向模糊匹配，还有一种情形就是，某位字符可以是任何东西，但就不能是"a"、"b"、"c"。

此时就是排除字符组（反义字符组）的概念。例如[^abc]，表示是一个除"a"、"b"、"c"之外的任意一个字符。字符组的第一位放^（脱字符），表示求反的概念。

当然，也有相应的范围表示法。

关系数据库

由于元组关系演算是关系数据库的查询语言，因此要定义关系数据库。

关系数据库：其基本元件是域或数据类型。

属性：域和值的有序对。

元组：属性的有序多重集。

关系变量是域和名字的有序对的集合，是关系的表头。

关系是元组的集合。

这些关系概念虽是数学定义，但定义可以大致对应到传统的数据库概念。表是一种关系的可视表示法；元组类似于“行”的概念。