欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
先上个例子,假设用户表中有性别,年龄这些字段,那么所有性别等于'男'的用户属于一个分类,所有年龄大于20的用户属于一个分类,所有性别等于'女'并且年龄小于20的属于另一个分类,至此,你应该明白,所谓的用户分类只是一个根据某些条件来划分的一个用户群组,它是基于规则描述的,是动态生成的,看起来像我们SQL语句使用 WHERE查询的结果,不是吗?