Table artist as A {
id int [pk, increment] // auto-increment
fullName varchar
birth varchar
}
Table gallery as G {
name varchar
location varchar
Table painting as P {
title varchar
created_at timestamp
artistId int [ref: > artist.id]
galleryId int [ref: > gallery.id]
Объяснение:
Связь между Художником/Галереей и картиной (1 ко многим). Таблица "Галерея" добавлена для приближения к реалиям, т.к. картины могут "путешествовать" по миру и "учавствовать в разных мероприятиях"
x1 x2 x3 x4 x2∧x4 ¬x1 ¬x1∨x3 x2∧x4∧(¬x1∨x3) ¬x2∧x4∧(¬x1∨x3) ¬x1∧x2 ¬x3 ¬x1∧x2∧¬x3 x4∨¬x1∧x2∧¬x3 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3) x1∧x2 ¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2≡1
0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0
0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1
0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0
0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1
0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1
0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0
0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0
0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0
1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1
1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0
1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1
1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0
1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0
1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0
1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0
вроде так
Table artist as A {
id int [pk, increment] // auto-increment
fullName varchar
birth varchar
}
Table gallery as G {
id int [pk, increment] // auto-increment
name varchar
location varchar
}
Table painting as P {
id int [pk, increment] // auto-increment
title varchar
created_at timestamp
artistId int [ref: > artist.id]
galleryId int [ref: > gallery.id]
}
Объяснение:
Связь между Художником/Галереей и картиной (1 ко многим). Таблица "Галерея" добавлена для приближения к реалиям, т.к. картины могут "путешествовать" по миру и "учавствовать в разных мероприятиях"
x1 x2 x3 x4 x2∧x4 ¬x1 ¬x1∨x3 x2∧x4∧(¬x1∨x3) ¬x2∧x4∧(¬x1∨x3) ¬x1∧x2 ¬x3 ¬x1∧x2∧¬x3 x4∨¬x1∧x2∧¬x3 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3) x1∧x2 ¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2≡1
0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0
0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1
0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0
0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1
0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1
0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0
0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0
0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0
1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1
1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0
1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1
1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0
1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0
1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0
1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0
Объяснение:
вроде так