Про Erwin: эта хрень (причём стоимостью несколько тыс долларов) не поддерживает Postgres, но так как вопрос для меня скорее носит познавательный характер, нежели практический и так или иначе все реляционные субд похожи, сойдёт и Oracle для примера, внизу поста листинг того что у меня получилось.
Я изучил те триггеры, что сгенерировал мне Ервин, но не нашел ничего такого, что ожидал увидеть.
Допускаю, что по умолчанию это может не генерироваться и это надо включать где-то отдельно в настройках программы (а ервин программа довольно большая и там много всяких флажков, подскажите, что именно надо включить, если надо, я использовал вариант по умолчанию).
Вообщем, сделал ещё один скриншот, там в ервине видны свойства отношения, я не понимаю блок настроек Cardinality (в чем разница *на практике* между Zero, One or More и One or More, Erwin вообще игнорирует это).. Возникает предположение, что разница есть только на схеме, а при генерации sql ервин забывает про этот блок настроек...
Вообще, эта настройка отношения между сущностями на уровне концептуального или логического проектирования, а вот как реализовать это на физическом уровне?
Я знаю, есть различные стандарты,
http://en.wikipedia.org/wiki/SQL:2008 , например... В этих документах как-то прописывается, каким именно образом сделать такое?
На мой взгляд это должно происходить так:
- При попытке добавить (инсерт) что-то в первую табличку проверять что в этой транзакции следом за инсертом в эту первую табличку идет хотя бы один инсерт или апдэйт во вторую табличку, при этом 1_id (FK) второго инсерта/апдэйта = добавляемой 1_id (PK) первого инсерта (то есть добавляем запись в первую табличку только в том случае, если она будет связана хотя бы с кем-то из второй таблицы)
- При попытке обновить (апдэйт) PK для кого-нибудь из первой таблицы (странное желание) проверять, что в рамках этой же транзакции будет сформирована связь с ним с хотя бы одной записью из второй таблицы
- При попытке обновить (апдэйт) 1_id (FK) для какой-нибудь записи из второй таблицы проверять, что у 1.1_id = old.1_id (FK) останется хотя бы кто-то один, который будет с ним связан иначе запретить такой апдэйт
- При попытке удалить (делит) кого-то из второй таблички проверять, что у родителя останутся и другие дети (хотя бы один), иначе запретить такое удаление
Вот это те 4 триггера которые я ожидал увидеть... Я не понимаю, почему ервин тоже их не сгенерировал мне... Это какая-нибудь договоренность что ли делать такие проверки не на уровне базы...
Что касается
http://schemabank.com/ , о котором я писал выше - он генерирует триггеры, например для контроля связи 1:1 (чтобы не получилось 1:М), но вот конкретно момент с "не менее 1" не хочет...
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.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
64.
65.
66.
67.
68.
69.
70.
71.
72.
73.
74.
75.
76.
77.
78.
79.
80.
81.
82.
83.
84.
85.
86.
87.
88.
89.
90.
91.
92.
93.
94.
95.
96.
97.
98.
99.
100.
101.
102.
103.
104.
105.
106.
107.
108.
109.
110.
111.
112.
113.
114.
115.
116.
117.
118.
119.
120.
121.
122.
123.
124.
125.
126.
127.
128.
129.
130.
131.
132.
133.
134.
135.
136.
137.
138.
139.
140.
141.
142.
143.
144.
145.
146.
147.
148.
149.
150.
151.
152.
153.
154.
155.
156.
CREATE TABLE E_1
(
1_id INTEGER NOT NULL
);
CREATE UNIQUE INDEX XPKE_1 ON E_1
(1_id ASC);
ALTER TABLE E_1
ADD CONSTRAINT XPKE_1 PRIMARY KEY (1_id);
CREATE TABLE E_2
(
1_id INTEGER NULL ,
2_id INTEGER NOT NULL
);
CREATE UNIQUE INDEX XPKE_2 ON E_2
(2_id ASC);
ALTER TABLE E_2
ADD CONSTRAINT XPKE_2 PRIMARY KEY (2_id);
ALTER TABLE E_2
ADD (CONSTRAINT R_1 FOREIGN KEY (1_id) REFERENCES E_1 (1_id) ON DELETE SET NULL);
CREATE TRIGGER tD_E_1 AFTER DELETE ON E_1 for each row
-- ERwin Builtin Trigger
-- DELETE trigger on E_1
DECLARE NUMROWS INTEGER;
BEGIN
/* ERwin Builtin Trigger */
/* E_1 E_2 on parent delete set null */
/* ERWIN_RELATION:CHECKSUM="00009fe3", PARENT_OWNER="", PARENT_TABLE="E_1"
CHILD_OWNER="", CHILD_TABLE="E_2"
P2C_VERB_PHRASE="", C2P_VERB_PHRASE="",
FK_CONSTRAINT="R_1", FK_COLUMNS="1_id" */
UPDATE E_2
SET
/* %SetFK(E_2,NULL) */
E_2.1_id = NULL
WHERE
/* %JoinFKPK(E_2,:%Old," = "," AND") */
E_2.1_id = :old.1_id;
-- ERwin Builtin Trigger
END;
/
CREATE TRIGGER tU_E_1 AFTER UPDATE ON E_1 for each row
-- ERwin Builtin Trigger
-- UPDATE trigger on E_1
DECLARE NUMROWS INTEGER;
BEGIN
/* E_1 E_2 on parent update set null */
/* ERWIN_RELATION:CHECKSUM="0000b96f", PARENT_OWNER="", PARENT_TABLE="E_1"
CHILD_OWNER="", CHILD_TABLE="E_2"
P2C_VERB_PHRASE="", C2P_VERB_PHRASE="",
FK_CONSTRAINT="R_1", FK_COLUMNS="1_id" */
IF
/* %JoinPKPK(:%Old,:%New," <> "," OR ") */
:old.1_id <> :new.1_id
THEN
UPDATE E_2
SET
/* %SetFK(E_2,NULL) */
E_2.1_id = NULL
WHERE
/* %JoinFKPK(E_2,:%Old," = ",",") */
E_2.1_id = :old.1_id;
END IF;
-- ERwin Builtin Trigger
END;
/
CREATE TRIGGER tI_E_2 BEFORE INSERT ON E_2 for each row
-- ERwin Builtin Trigger
-- INSERT trigger on E_2
DECLARE NUMROWS INTEGER;
BEGIN
/* ERwin Builtin Trigger */
/* E_1 E_2 on child insert set null */
/* ERWIN_RELATION:CHECKSUM="0000c593", PARENT_OWNER="", PARENT_TABLE="E_1"
CHILD_OWNER="", CHILD_TABLE="E_2"
P2C_VERB_PHRASE="", C2P_VERB_PHRASE="",
FK_CONSTRAINT="R_1", FK_COLUMNS="1_id" */
UPDATE E_2
SET
/* %SetFK(E_2,NULL) */
E_2.1_id = NULL
WHERE
NOT EXISTS (
SELECT * FROM E_1
WHERE
/* %JoinFKPK(:%New,E_1," = "," AND") */
:new.1_id = E_1.1_id
)
/* %JoinPKPK(E_2,:%New," = "," AND") */
and E_2.2_id = :new.2_id;
-- ERwin Builtin Trigger
END;
/
CREATE TRIGGER tU_E_2 AFTER UPDATE ON E_2 for each row
-- ERwin Builtin Trigger
-- UPDATE trigger on E_2
DECLARE NUMROWS INTEGER;
BEGIN
/* ERwin Builtin Trigger */
/* E_1 E_2 on child update no action */
/* ERWIN_RELATION:CHECKSUM="0000e76e", PARENT_OWNER="", PARENT_TABLE="E_1"
CHILD_OWNER="", CHILD_TABLE="E_2"
P2C_VERB_PHRASE="", C2P_VERB_PHRASE="",
FK_CONSTRAINT="R_1", FK_COLUMNS="1_id" */
SELECT count(*) INTO NUMROWS
FROM E_1
WHERE
/* %JoinFKPK(:%New,E_1," = "," AND") */
:new.1_id = E_1.1_id;
IF (
/* %NotnullFK(:%New," IS NOT NULL AND") */
:new.1_id IS NOT NULL AND
NUMROWS = 0
)
THEN
raise_application_error(
- 20007 ,
'Cannot update E_2 because E_1 does not exist.'
);
END IF;
-- ERwin Builtin Trigger
END;
/
