检索式的构造