Derived query

派生查询 (derived query) ：指一种这样的查询 (query)，它的值由使用者所提供的 query function 的结果确定。

执行那种查询函数以获得查询结果。与输入查询 (input queries) 不同的是，每当需要的时候，只需重新执行函数，派生查询的结果就可以随时重新计算。