Kết quả bất ngờ với số ngẫu nhiên và các loại tham gia

Tôi có một tập lệnh đơn giản nhận được bốn số ngẫu nhiên (1 đến 4) và sau đó tham gia lại để lấy số cơ sở dữ liệu phù hợp. Khi tôi chạy tập lệnh với THAM GIA TRÁI PHIẾU, tôi nhận được bốn hàng mỗi lần (kết quả mong đợi). Tuy nhiên, khi tôi chạy nó với INNER THAM GIA, tôi nhận được một số lượng hàng khác nhau - đôi khi là hai, đôi khi là tám.

Về mặt logic, không nên có bất kỳ sự khác biệt nào vì tôi biết các hàng có cơ sở dữ liệu 1-4 tồn tại trong sys.database. Và bởi vì chúng tôi đang chọn từ bảng số ngẫu nhiên có bốn hàng (trái ngược với việc tham gia vào bảng đó), không bao giờ có hơn bốn hàng được trả về.

Điều này xảy ra trong cả SQL Server 2012 và 2014. Điều gì khiến INNER THAM GIA trả về số lượng hàng khác nhau?

/* Works as expected -- always four rows */

SELECT rando.RandomNumber, d.database_id
FROM 
  (SELECT 1 + ABS(CHECKSUM(NEWID())) % (4) AS RandomNumber 
   FROM sys.databases WHERE database_id <= 4) AS rando
LEFT JOIN sys.databases d ON rando.RandomNumber = d.database_id;


/* Returns a varying number of rows */

SELECT rando.RandomNumber, d.database_id
FROM 
  (SELECT 1 + ABS(CHECKSUM(NEWID())) % (4) AS RandomNumber 
   FROM sys.databases WHERE database_id <= 4) AS rando
INNER JOIN sys.databases d ON rando.RandomNumber = d.database_id;

/* Also returns a varying number of rows */

WITH rando AS (
  SELECT 1 + ABS(CHECKSUM(NEWID())) % (4) AS RandomNumber
  FROM sys.databases WHERE database_id <= 4
)

SELECT r.RandomNumber, d.database_id
FROM rando AS r
INNER JOIN sys.databases d ON r.RandomNumber = d.database_id;

Bằng cách thêm CHỌN bổ sung, nó sẽ đẩy đánh giá vô hướng tính toán sâu hơn vào kế hoạch và đưa ra vị từ tham gia, vô hướng tính toán ở trên cùng sau đó tham chiếu cái trước đó.

SELECT rando.RandomNumber, d.database_id
FROM 
  (SELECT ( SELECT 1 + ABS(CHECKSUM(NEWID())) % (4)) AS RandomNumber 
   FROM sys.databases WHERE database_id <= 4) AS rando
INNER JOIN sys.databases d ON rando.RandomNumber = d.database_id

|--Compute Scalar(DEFINE:([Expr1071]=[Expr1070]))

|--Compute Scalar(DEFINE:([Expr1070]=(1)+abs(checksum(newid()))%(4)))

Vẫn đang tìm hiểu lý do tại sao nó chờ quá muộn để làm điều đó, nhưng hiện đang đọc bài đăng này của Paul White ( https://sql.kiwi/2012/09/compute-scalars-expressions-and-execut-plan-performance.html ) . Có lẽ nó có liên quan đến thực tế là NEWID không mang tính quyết định?

Điều này có thể cung cấp một số cái nhìn sâu sắc cho đến khi một trong những người thông minh hơn trên trang web chuông.

Tôi đặt kết quả ngẫu nhiên vào một bảng tạm thời và tôi luôn nhận được 4 kết quả bất kể loại tham gia.

/* Works as expected -- always four rows */

DECLARE @Rando table
(
    RandomNumber int
);

INSERT INTO
    @Rando
(
    RandomNumber
)
-- This generates 4 random numbers from 1 to 4, endpoints inclusive
SELECT
    1 + ABS(CHECKSUM(NEWID())) % (4) AS RandomNumber
FROM
    sys.databases
WHERE
    database_id <= 4;

SELECT
    *
FROM
    @Rando AS R;

SELECT
    rando.RandomNumber
,   d.database_id
FROM 
    @Rando AS rando
    LEFT JOIN 
        sys.databases d 
        ON rando.RandomNumber = d.database_id
ORDER BY 1,2;


/* Returns a varying number of rows */

SELECT rando.RandomNumber, d.database_id
FROM 
    @Rando AS rando
    INNER JOIN 
        sys.databases d 
        ON rando.RandomNumber = d.database_id
ORDER BY 1,2;

/* Also returns a varying number of rows */

WITH rando AS 
(
    SELECT * FROM @Rando AS rando
)
SELECT r.RandomNumber, d.database_id
FROM 
    rando AS r
    INNER JOIN 
        sys.databases d 
        ON r.RandomNumber = d.database_id
ORDER BY 1,2;

Nếu tôi so sánh các kế hoạch truy vấn giữa truy vấn thứ hai của bạn và biến thể với biến bảng, tôi có thể thấy có sự khác biệt nhất định giữa hai truy vấn. Chữ X màu đỏ No Join Predicatecó vẻ rất kỳ lạ đối với bộ não nhà phát triển thượng cổ của tôi

Nếu tôi loại bỏ một chút ngẫu nhiên của truy vấn thành một hằng số 1 % (4), kế hoạch của tôi có vẻ tốt hơn nhưng tính toán vô hướng đã bị loại bỏ khiến tôi phải nhìn gần hơn

Đó là tính toán biểu thức cho số ngẫu nhiên sau khi tham gia. Cho dù đó là dự kiến, tôi vẫn để lại cho các trình hướng dẫn nội bộ trên trang web nhưng ít nhất đó là lý do tại sao bạn nhận được kết quả khác nhau khi tham gia.

2014

Đối với những người chơi cùng ở nhà, các gói truy vấn trên được tạo từ phiên bản 2008 R2. Các kế hoạch năm 2014 trông khác nhau nhưng hoạt động tính toán vô hướng vẫn còn sau khi tham gia.

Đây là kế hoạch truy vấn cho năm 2014 bằng cách sử dụng biểu thức hằng

Đây là kế hoạch truy vấn cho một phiên bản 2014 bằng cách sử dụng biểu thức newid.

Đây rõ ràng là do thiết kế, kết nối vấn đề ở đây. Cảm ơn @paulWhite vì đã biết rằng đã tồn tại.