blob: 00fcdff414f24a96f460d4ff3b8d40ca6aebd64e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# RI Trigger test
#
# Test trigger-based referential integrity enforcement.
#
# Any overlap between the transactions must cause a serialization failure.
setup
{
CREATE TABLE parent (parent_id SERIAL NOT NULL PRIMARY KEY);
CREATE TABLE child (child_id SERIAL NOT NULL PRIMARY KEY, parent_id INTEGER NOT NULL);
CREATE FUNCTION ri_parent() RETURNS TRIGGER LANGUAGE PLPGSQL AS $body$
BEGIN
PERFORM TRUE FROM child WHERE parent_id = OLD.parent_id;
IF FOUND THEN
RAISE SQLSTATE '23503' USING MESSAGE = 'child row exists';
END IF;
IF TG_OP = 'DELETE' THEN
RETURN OLD;
END IF;
RETURN NEW;
END;
$body$;
CREATE TRIGGER ri_parent BEFORE UPDATE OR DELETE ON parent FOR EACH ROW EXECUTE PROCEDURE ri_parent();
CREATE FUNCTION ri_child() RETURNS TRIGGER LANGUAGE PLPGSQL AS $body$
BEGIN
PERFORM TRUE FROM parent WHERE parent_id = NEW.parent_id;
IF NOT FOUND THEN
RAISE SQLSTATE '23503' USING MESSAGE = 'parent row missing';
END IF;
RETURN NEW;
END;
$body$;
CREATE TRIGGER ri_child BEFORE INSERT OR UPDATE ON child FOR EACH ROW EXECUTE PROCEDURE ri_child();
INSERT INTO parent VALUES(0);
}
teardown
{
DROP TABLE parent, child;
DROP FUNCTION ri_parent();
DROP FUNCTION ri_child();
}
session s1
setup { BEGIN ISOLATION LEVEL SERIALIZABLE; }
step wxry1 { INSERT INTO child (parent_id) VALUES (0); }
step c1 { COMMIT; }
session s2
setup { BEGIN ISOLATION LEVEL SERIALIZABLE; }
step r2 { SELECT TRUE; }
step wyrx2 { DELETE FROM parent WHERE parent_id = 0; }
step c2 { COMMIT; }
|
