约束，Constraints，领域约束，Domain Constraints，在模式匹配技术中有着独特的地位。这里所说的约束即是数据库那种常见的主外键约束，唯一性约束等等，也是对领域知识的一种描述。一个比较容易理解领域约束在模式匹配中的作用的例子就是，假设我们得到了一个这样的约束：如果一个表可以和Products匹配，那么他一定具有一个类，类似ProductID。那么，在模式匹配的过程中，我们就可以利用这条约束。比如，一个表如果没有ProductID这样的列，那么他就不能和表Products进行匹配。
我靠……，太牛了，不愧是外国人……