Làm thế nào các ràng buộc máy chủ SQL của tôi bị bỏ qua?

Chúng tôi đã tìm thấy một số hàng trong DB của chúng tôi vi phạm ràng buộc hoạt động. Sao có thể như thế được?

Ràng buộc đang hoạt động, vì chúng ta không thể thêm một hàng thủ công bỏ qua ràng buộc này. Tuy nhiên, khi chúng tôi chạy CHECKCONSTRAINTS(Files), chúng tôi thấy rằng nó đã bị bỏ qua trong một số ít lần trong quá trình chạy thử của chúng tôi. Tất cả các hàng trong câu hỏi được tạo ra trong vòng nửa giây của nhau, cho thấy một số điều kiện chủng tộc.

Đây là ràng buộc được áp dụng cho bảng. Quy tắc này có nghĩa là để đảm bảo tính duy nhất của tên trong thư mục cha đã cho:

ALTER TABLE Files ADD CONSTRAINT UniqueNameInParentFolder CHECK
    CheckUniqueNameInFolder(ParentFoldersID, Name) = 1;

Ràng buộc này gọi một hàm trông như thế này:

-- first check for the new name in the Folders table
IF ((SELECT COUNT(*) FROM Folders 
     WHERE ParentFoldersID = @FoldersID AND Name = @Name) = 0)
BEGIN 
    -- then check for it in the Files table
    IF ((SELECT COUNT(*) FROM Files 
         WHERE ParentFoldersID = @FoldersID AND Name = @Name) <= 1)
        RETURN 1
END
RETURN 0

Các hàng riêng lẻ được thêm vào bên trong các giao dịch, vì vậy tôi rất khó hiểu làm thế nào các hàng trùng lặp đang lén lút vượt qua ràng buộc này.

Kiểm tra các ràng buộc dựa trên UDF là rác. Đồng thời, RBAR, cô lập, vv như bạn đã tìm ra. Một số liên kết:

• Alex K: Các UDF vô hướng được bao bọc trong các ràng buộc CHECK rất chậm và có thể thất bại đối với các cập nhật đa hướng

• Tony Rogerson

Cách an toàn nhất cho SQL Server trong trường hợp này là sử dụng các ràng buộc tiêu chuẩn như khóa duy nhất và khóa ngoài. Tôi không thể thấy lý do tại sao bạn kiểm tra bảng thư mục cho một ràng buộc trên bảng tập tin mặc dù

Chỉnh sửa: để ngăn chặn một tệp và một thư mục có cùng tên trong một thư mục mẹ nhất định , hãy sử dụng chế độ xem được lập chỉ mục. Các tệp trùng lặp hoặc các thư mục trùng lặp đòi hỏi tính duy nhất ở mức bảng.

CREATE VIEW CheckUnique
WITH SCHEMABINDING
AS
SELECT fo.ParentFoldersID, fo.Name
FROM
   Folders fo
   JOIN
   File fi ON fo.ParentFoldersID  = fi.ParentFoldersID AND fo.Name = fi.Name
GO
CREATE UNIQUE CLUSTERED INDEX IXCU_CheckUnique ON CheckUnique (ParentFoldersID, Name)
GO

Hoặc một kích hoạt.

Nhưng không bao giờ UDF trong một ràng buộc kiểm tra

Chức năng CheckUniqueNameInFolder hầu như không kiểm tra bất cứ điều gì. Rất nhiều bản sao có thể được thêm vào dưới sự kiểm tra ràng buộc đó. Nó có hai CHỌN riêng biệt được chạy tuần tự (do đó điều kiện được kiểm tra bởi lựa chọn đầu tiên có thể bị vô hiệu hóa vào thời điểm lần thứ hai chạy) và, trong mọi trường hợp, ràng buộc nói rằng, tốt nhất là không có trùng lặp khi kiểm tra xảy ra, không có cách nào làm nó nói rằng có là không trùng lặp khi chèn / cập nhật xảy ra. Vì các kiểm tra không khóa các khóa được xác thực ở chế độ U hoặc X, nên nhiều lần chèn có thể xảy ra đồng thời, thực hiện kiểm tra, không tìm thấy trùng lặp và tất cả tiến hành chèn cùng một mục.

Cách duy nhất để thực thi đúng một ràng buộc duy nhất là sử dụng một ràng buộc duy nhất .

Tạo một cột được tính toán với đường dẫn đầy đủ của 'tệp' của bạn và thực thi tính duy nhất trên toàn bộ đường dẫn với một ràng buộc ĐỘC ĐÁO hoặc có thể sử dụng một ràng buộc KHÔNG GIỚI HẠN (ParentFolderID, Name). Không lưu trữ Thư mục và Tệp riêng biệt, hãy sử dụng bảng chung cho cả Thư mục và Tệp (ví dụ: Mục nhập) vì chúng chiếm cùng một không gian tên.

Chạy này trong một giao dịch ở mức mặc định read committedsẽ không tải được.

Các lần đọc không loại trừ lẫn nhau và tuần tự hóa để hai giao dịch đồng thời có thể đọc rằng hàng không tồn tại. Bạn có thể thêm UPDLOCK,ROWLOCK,HOLDLOCKgợi ý cho SELECT.