group-by - mysql group by原理？

Question

我们知道，在mysql中执行以下语句会报错：

select count(*),concat(version(),floor(rand(0)*2))x from information_schema.tables group by x

会提示#1062 - Duplicate entry '5.6.171' for key 'group_key' ，主键重复了。

group by 实际是将查询到的每列插入到临时表中，然后再排序。那为什么插入包含一个随机数的值就会主键重复呢？

看到这个解释：http://www.jinglingshu.org/?p=4507

“通过floor报错的方法来爆数据的本质是group by语句的报错。group by语句报错的原因是floor(random(0)*2)的不确定性，即可能为0也可能为1（group by key的原理是循环读取数据的每一行，将结果保存于临时表中。读取每一行的key时，如果key存在于临时表中，则不在临时表中则更新临时表中的数据；如果该key不存在于临时表中，则在临时表中插入key所在行的数据。group by floor(random(0)*2)出错的原因是key是个随机数，检测临时表中key是否存在时计算了一下floor(random(0)*2)可能为0，如果此时临时表只有key为1的行不存在key为0的行，那么数据库要将该条记录插入临时表，由于是随机数，插时又要计算一下随机值，此时floor(random(0)*2)结果可能为1，就会导致插入时冲突而报错。即检测时和插入时两次计算了随机数的值。具体原理参考：http://www.mysqlops.com/2012/05/15/mysql-sql-analyze.html）。”

好像很有道理，按照这个说法，floor(rand(0)*2)可能产生0或1。那每次执行上述SQL，有50%几率应该是可以执行成功的。但实际每次执行都是失败的。是跟rand生成随机数有关吗？

然后我又做了一些试验：
试验1

换成select count(*),concat(version(),floor(rand(0)*1))x from information_schema.tables group by x，SQL语句每次都能成功，这个也可以理解，每次值都一样。

试验2

换成select count(*),concat(version(),rand(0)*2)x from information_schema.tables group by x。实际是能执行成功的。而是用floor取整后反而失败。

试验3

换成select count(*),concat(version(),floor(rand(0)*100))x from information_schema.tables group by x。失败

试验3

换成select count(*),concat(version(),floor(rand(0)*100000))x from information_schema.tables group by x。失败

试验4

换成select count(*),concat(version(),floor(rand(0)*1000000))x from information_schema.tables group by x。成功。

由于是随机数，插时又要计算一下随机值，此时floor(random(0)*2)结果可能为1，就会导致插入时冲突而报错。即检测时和插入时两次计算了随机数的值

这就解释不通了。随机数的值大到一定程度，又可以执行成功了？

为什么group by floor(rand(0)*2会提示主键重复呢？group by原理是什么？

Answer 1

「照這個說法，floor(rand(0)*2)可能產生0或1。那每次執行上述SQL，有50%幾率應該是可以執行成功的。」這個應該是rand函數是偽隨機，所以給定種子每次執行的結果是一樣的，可以用select rand（0）from information_schema來驗證，多次執行後，結果相同。

group by的執行過程，是掃描過程，會建立臨時表來在驗證key。但是樓主的問題，我也在思考，期待高手解惑。

另外除了你描述的問題外，還有一個現象。對於不同的種子，成功和失敗的情況也是不一樣的，如下圖。

Answer 2

select count(*),concat(version(),'-',floor(rand(0)*100000))x
from information_schema.tables 
group by x

執行結果：[Err] 1062 - Duplicate entry '5.5.20-log-95655' for key 'group_key'
說明：執行floor(rand(0)*100000)結果中包含多個數值等於95655的項

證明

select count(*),concat(version(),'-',floor(rand(0)*1000000))x from information_schema.tables group by x
執行結果：