一个示例(实际上是20个基本比较,另有5个左右取决于查询):select * from data d into r_data d.tm = time and即摆脱“where-子句重复”,因为代码确实很难看,而且维护起来也很麻烦。
我知道创建一个带有参数的新视图可以解决部分问题,但如果可能的话,我真的希望将解决方案保留在我正在处理的包的内部。
模式匹配(如在例如Prolog、ML系列语言和各种专家系统外壳中发现的)通常通过以严格顺序逐个元素地匹配查询来操作。A or B or CC or $X
从表面语法来看,这并不匹配,但从逻辑上讲,它应该与绑定到A or B的$X匹配,因为or是结合性和交换性的。在任何一种语言中,有没有任何现有的系统可以做这种事情?