爲什麼這個數據庫查詢是聚合的？

Question

From https://github.com/tonsky/datascript

(-> 
(d/q '[:find ?color (max ?amount ?x) (min ?amount ?x) 
     :in [[?color ?x]] ?amount] 
     [[:red 10] [:red 20] [:red 30] [:red 40] [:red 50] 
     [:blue 7] [:blue 8]] 
     4) 
pr-str 
js/console.log) 
;;; ([:red [20 30 40 50] [10 20 30 40]] [:blue [7 8] [7 8]]) 

(-> 
(d/q '[:find ?color (max ?amount ?x) (min ?amount ?x) 
     :in [[?color ?x]] ?amount] 
     [[:red 10] [:red 20] [:red 30] [:red 40] [:red 50] 
     [:blue 7] [:blue 8]] 
     3) 
pr-str 
js/console.log) 
;;; ([:red [30 40 50] [10 20 30]] [:blue [7 8] [7 8]]) 

(-> 
(d/q '[:find ?color (max ?amount ?x) (min ?amount ?x) 
     :in [[?color ?x]] ?amount] 
     [[:red 10] [:red 20] [:red 30] [:red 40] [:red 50] 
     [:blue 7] [:blue 8]] 
     2) 
pr-str 
js/console.log) 
;;; ([:red [40 50] [10 20]] [:blue [7 8] [7 8]]) 

所以，這不是一個關於它是做什麼的問題，這是它是如何（或者至少是爲什麼）做的問題。 max和min分別是返回其後續整數的最大值或最小值的函數。 ?amount如何計算限制聚合計數？爲什麼這些東西聚合呢？代碼如何運行以便聚合。我真的沒有看到這個代碼是如何產生它所做的結果的。

Answer 1

max和min是overloaded在數據組查詢。

一元(min ?x)和(max ?x)功能集合返回一個單一的數字。

二進制(min ?n ?x)和(max ?n ?x)函數會聚合以返回長度限制爲?n的項集合。