postgres - kích hoạt trước khi giao dịch cam kết

Question

Tôi đã tự hỏi nếu nó là gián tiếp có thể có một kích hoạt thực hiện ngay trước khi giao dịch sắp cam kết? Trong trình kích hoạt này, tôi sẽ thực hiện kiểm tra tính nhất quán và khôi phục giao dịch nếu cần.

Ví dụ, tôi có ba bảng:

users (id, name) 
groups (id, name) 
user_in_group (user_id, group_id) 

Tôi muốn tạo ra một kích hoạt mà xác nhận rằng một người sử dụng luôn luôn là một phần của một nhóm. Không cho phép người dùng mồ côi. Mỗi lần chèn vào người dùng xảy ra, trình kích hoạt này sẽ xác minh rằng một chèn tương ứng vào user_in_group cũng xảy ra. Nếu không, giao dịch sẽ không được thực hiện.

Điều này không thể thực hiện bằng cách sử dụng trình kích hoạt dựa trên hàng hoặc lệnh đơn giản vì kịch bản trên yêu cầu hai câu lệnh riêng biệt.

Cách khác, khi xóa từ user_in_group xảy ra, có thể dễ dàng thực hiện bởi trình kích hoạt dựa trên hàng.

Answer 1

Từ the docs. . .

Gây ra có thể được xác định để thực hiện trước hoặc sau khi bất kỳ INSERT, UPDATE, hoặc DELETE hoạt động, hoặc một lần cho mỗi hàng sửa đổi, hoặc một lần mỗi câu lệnh SQL.

Answer 2

lookind tại doc, có vẻ là không có tùy chọn kích hoạt như vậy ... vì vậy một cách để đạt được "không có người sử dụng trẻ mồ côi" quy tắc sẽ không cho phép chèn trực tiếp vào users và user_in_group bảng. Thay vào đó, hãy tạo chế độ xem (kết hợp các bảng này, tức là user_id, user_name, group_id) với một số update rule chèn dữ liệu vào bảng bên phải.

Hoặc chỉ cho phép chèn người dùng mới thông qua quy trình được lưu trữ có tất cả dữ liệu bắt buộc dưới dạng inpud và do đó không cho phép người dùng có nhóm.

BTW, tại sao bạn có bảng riêng cho mối quan hệ người dùng và nhóm? Tại sao không thêm trường group_id vào users bảng với FK/NOT NULL ràng buộc?

Answer 3

Phương pháp đúng có thực sự là thiết lập các ràng buộc trong cơ sở dữ liệu không? Điều đó có vẻ chính xác những gì là khó khăn cho. Thêm một ràng buộc khoá ngoại và không phải là rỗng và có vẻ như bạn nên ở trong kinh doanh.

Bây giờ sửa đổi cho trở ngại đối xứng:

drop table foousers cascade; 
drop table foogroups cascade; 
drop table foousergrps cascade; 
create table foousers (id int primary key, name text); 
create table foogroups (id int primary key, name text); 
create table foousergrps (user_id int unique references foousers not null, group_id int unique references foogroups not null); 
alter table foogroups add foreign key (id) references foousergrps (group_id) deferrable initially deferred; 
alter table foousers add foreign key (id) references foousergrps (user_id) deferrable initially deferred; 
begin; 
insert into foousers values (0, 'root'); 
insert into foousers values (1, 'daemon'); 
insert into foogroups values (0, 'wheel'); 
insert into foogroups values (1, 'daemon'); 
insert into foousergrps values (0,0); 
insert into foousergrps values (1,1); 
commit; 

Forbidden:

insert into foousers values (2, 'bad'); 
insert into foousergrps values (2,2); 

Ví dụ về (không deferrable, boo) chức năng kiểm tra:

create table foousergrps (user_id int unique references foousers not null, group_id int not null); 
create function fooorphangroupcheck(int) returns boolean as $$ 
declare 
    gid alias for $1; 
begin 
    perform 1 from foousergrps where group_id = gid limit 1; 
    if NOT FOUND then return false; 
    end if; 
    return true; 
end; 
$$ 
LANGUAGE 'plpgsql'; 
alter table foogroups add check (fooorphangroupcheck(id)); 

Answer 4

Cậu nhìn vào CREATE CONSTRAINT TRIGGER, với tùy chọn DEFERRABLE (INITIALLY DEFERRED)?

Answer 5

Bạn có thể sử dụng WITH hành sql, như thế này:

WITH insert_user AS (
    INSERT INTO users(name) VALUES ('bla-bla-user') RETURNING id 
) 
INSERT INTO user_in_group(user_id, group_id) 
    SELECT id, 999 FROM insert_user UNION 
    SELECT id, 888 FROM insert_user; 

SELECT groups (id, name) user_in_group (user_id, group_id)