Design Theory for Relational Databases

1
???????? ????? ????? ????? ?????? ????????? 1

• Design Theory for Relational Databases
• Part 1

2
??? ???? ????? ?????

• ?????
• ????? ???? ??? ????? ????? ???? ????? ??? ???
  ???? ?? ?????? ????? ??????

H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
Student Department Head
3
???? ????? ???? ???? ????

• ?????, ????? ?? ???? ???????
• ????, ???? ???? ???? ????? ????? ?????? ????
  ???????, ????? ????? ?????? ??? ???? ?????
  ???????
• ?????? ????? ?? ????? ??? ??????? ??? ??? ?????

4
????? ?????? ????
??????? ?? ??? ?????? ?? CS ?? ?????? ???,
??????? ??? ?? ?????? ?????? ???? ??? ?????? ?? CS
H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
H D S
Katz CS Levy
Bush Math Cohen
Rubin CS Barak

• ???? ???? ?????? ????? ?????? ???? ???????,
  ??????? ???? ?????? ??? ?? ????? ???? ??????
  ?????? ?? ???? ????????, ??????? ??? ???? ????
  ??????? ????? ???? ??????? ?? ?? ??

5
???? ???? ??? ?? ????? ?????
H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak

• ?????? ?? ?? ???? ??? ??? ?? ???? ????????
• ??? ????? ?? ???? ?????? ???? ???? ?? ??????
  ????? ??????

Student Department Head
6
???? ???????????

• ?????? "?????? ?? ?? ???? ???" ???? ????
  ??????????? (?"?) ?????? ?"? D ? H

H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
Student Department Head
7
????? ???????

• ??? r
• ??"? D ? H ??????? ???? r ?? ?? ??? ?????? ?????
  ?????? D ???? ?? ?????? H

H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
Student Department Head
8
????? ??"? ????? ??????? ???? ????
H D S
Rubin CS Levy
Rubin Math Cohen
Rubin CS Barak

• ??? r
• ??"? H ? D ???? ??????? ???? r , ?? ??? ???????
  ???????? ???? ?????? H ??? ????? ?????? D
• ??"? D ? H ????? ???????

Student Department Head
9
?????????? ?"? ??????? ?? ???????? ?? ?"? ?????

• ???? r
• ????? ?? ??"? D ? H
• ?????? ?? ??"? S ? D
• ?????, ???? r ????? ?? ?? ??"? S ? H

H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
Student Department Head
10
?? ??????? ????? ???? r...
H D S
Rubin CS Levy
Bush Math Cohen
Bush Math Levy
Rubin CS Barak

• ???? r
• ????? ?? ??"? D ? H
• ??? ???? ????? ?? ??"? S ? D (???? ?????? ???????
  ????????)
• ???? r ?? ???? ????? ?? ??"? S ? H

Student Department Head
11
???...
H D S
Rubin CS Levy
Rubin Math Cohen
Rubin Math Levy
Rubin CS Barak

• ???? r
• ????? ?? ??"? D ? H
• ????? ????? ?? ??"? S ? D
• ??? ???? r ?? ????? ?? ??"? S ? H

Student Department Head
12
????? ????? ????? ????

• ????? ??????? ?? ????, ?????? S,D,H
• ????? ??"? ????? ???? ?????
• ?? ??? ????? ???? ????, ?? ??"? D ? H ?????
  ??????? ????
• ?? ??? ?????? ????? ?????, ?? ??"? S ? D ?????
  ??????? ????
• ??? ?? ?????? ???? ????? ???? ????? ??????, ??
  ??"? S ? D ???? ????? ??????? ????

13
???? ??????? ?? ??"?

• ???? ?????? (???? ??????????) ??? ??"? ???????
  ????????? ????
• ???? ?????? ??? ???? (?? ?? ????) ?? ?"? ???????
  ???? ?????? ???? (???? ????? ???? ????)

14
????? ??????? ?????? ???? ????? ?"? (?????)
H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak

• ?????? ?? ?? ???? ??? ??? ?? ???? ????????
• ?????, ??"? D ? H ???????, ??? ??"? D ? S ????
  ???????

Student Department Head
15
?"? ??? ?????? ??????????

• ?????? ???? ?????? ?????? ????? ?? ???? ??????
  ?????

16
?????

• ????
• ????? ?? ??"? SC ? G
• ???? ????? ?? ??"? S ? G
• ????? ????? ?? ??"? C ? G

G C S
90 OS Levy
82 DB Cohen
92 DB Levy
87 Logic Levy
Student Course Grade
???????, ?? ??"? SC ? G ??? ???? ????? S,C ?
G
17
????? (????)

• ????
• ?? ????? ?? ??"?
• SC ? GC

G C S
90 OS Levy
82 DB Cohen
92 DB Levy
87 Logic Levy
Student Course Grade
???????, ?? ??"? SC ? GC ??? ???? ????? S,C
? G,C
18
??? ????? ??????? ???????? ?? ??????? ??????
????????
19
???????

• ?????? ???? ????-???, ????? X,Y,Z,..., ??????
  ?????? ?? ??????????
• ?????? ?????? ????-???, ????? A,B,C,, ??????
  ?????????? ??????
• ????? ?? ??? ?????? X ?- Y ????? ?"? XY
• ????? ?????????? A,B,C,D ?????? ?"? ABCD

20
???? ???????????? (?"?)

• ???? ???????????? (?"?) ?????? ?"?
• ??????? ?- X ???? ?? Y, ????? ?????? ????? ????
  ??????????? ?? X, ?????? ???? ??????????? ??
  Y?????? ????? ??? ?????
• ?"? ??? ????? (constraint) ?? ?????? ????????,
  ????? ?? ?????? ??"? ????? ???????, ?? ?????? ??
  ??? ???????? ?? ?????? ???????? ?? ???? ????????
  ?? ??"?

21
??????? ??"?

• ?????? X ? Y ????? ?"? ?????? ?????? ?????, ?????
  ????? ?????????? X ????? ????? ?????????? Y
• ?????? X ? A ????? ?"? ????? ??? ???? ?????,
  ????? ????? ?????????? X ????? ???????? ???? A
• ??????? ??"?
• SD ? H (?????? SD ????? ?? ????????? H)
• AB ? CDG (???' AB ????? ?? ???' CDG)
• SD ? HDS (???'SD ????? ?? ???' HDS)

22
??????? ??????

• ?????? ??????? ?"? r,s,t,u,v
• ?????? ????? ?????????? X ?????? t, ????? ?? t ??
  X ?????? ?"? tX
• ????? tX?X(t)
• ?????? ???????? ???? A, ???? ?? ????? t ???? A
  ????? ?"? tA, ????? tA?A(t)
• tX ?? ???? ??? ?- X ?? t

23
???????? ???-???????? ??? ??????

• ??????? tX rX ?????? ???????? r ?- t ????
  ?? ?? ??????????? ?? X
• ??-??????? ?????? ????? ?-
  X ????? ???????? ??? A, ?? ???????? r ?- t ?????
  ????? ???? A, ?????

24
????? ??????

• ???? ?? ??? ??? ????? R ?? ??????????
• ???? ?????? ??? ??? ????? ????? ?? ???? ????? ??
  ?????????? (???, ?? ???? ????)
• ????? ????? ??? ?? ????
• ??? r ???? ???? R ??? ????? ????? ?? ??????,
  ?????????? ??????? ??????????? ?? R
• ???? ??? ?????, ???? ????? ????? ????? ?? ????,
  ?????? ??????, ????? ?????? ?? ??????

25
????? ??? ????? (?? ????) ?"?

• ??? R ???? ????? X ?- Y ?????? ?? ??????????
  ??????? ?- R, ?????
• ??? r ??? ??????? ?? R ????? ?"? X ? Y ?? ???
  ??? ?????? s ?- t, ??????? ?- r, ??????
• ?? , ??
• ????? ?? ??? ??????? ???? ?? ?? ????? ?? X, ?? ??
  ???? ?? ?? ????? ?? Y

26
??? ??? ???? ????? ?"??

• ??? ?????? ???? r ???? R ???? ????? ?"?
  , ???? ????? ???? r ??? ?????? s ?- t, ?????
  ?? X ?????? ?? Y, ????? ??? ?????? s ?- t
  ????????
• ???
• ?? ??????? ??"? ?????? ??? ?? ?????? ????? ??
  ???????? ??? ?? Y

27
?????

• ????
• ????? ?? ??"? AC ? BA
• ????? ?? ??"? ABD ? CFE
• ????? ????? ?? ??"? AC ? BF

A B C D E F
1 1 1 1 1 1
1 1 1 0 0 0
28
?"? ?? ??? ??????, ????? ?? ?????? ??? ??????
????????

• ????? ???? R ?? ????? F ?? ?????? ????????????
  (??????? ?? ?????????? ?? R)
• ??? r ??? ????? ???? R ?- F ?? ??????? ?? r
  ??????? ?- R ????? r ????? ?? ?? ??"? ?? F
• SAT(R,F) ???? ?? ????? ?????? ???????? ???? ?????
  R ?????? ??"? F

29
?"? ??????????

• ?"? ??? ?????????? ?? ??? ??????? ??? ??? (?????
  ?? ??????????? ???)
• ???? ?"? ??? ?????????? ?? ??? ??
• ??????? ??"? ???????????
• D ? D
• SD ? S

30
????? ????? ??

• ???? ?- ???? r ??? ????????? ?????
  ?? ?? ??????????? ??
• ???? ?????? ?- r ????? ?? , ?????
• ?????? s ?- t ??? ?????? ?? r, ?? ?-
• ???? ?????? ?- ????? ???????
  ?? ?????? ?????? ?-

31
????? ?? ??

• ?"? ?"? ??? ?????????? ?? ??
• ???? ?-
• ???? ??? ??? r ????? ????? ??
• ??? A ???????? ?? ?-
• ??? r ??? ??? ??? ?????? s ?- t, ????? ?? ??
  ??????????? ?? X ?????? ?? A
• ???? ?- r ???? ????? ??

32
???? r ??????? ?? "?? ??"

• ???? r ???? ????? ?? ??"? X ? Y ?????? ?- A ???
  ???????? ???? ?- Y ??? ?? ?- X

X A ??? ???????
1 1 1 1 ?? ???? ?? ?????? ??????? ???
1 1 1 0 ?? ???? ?? ?????? ??????? ???
33
????? ????? ?? ?"?

• ?? ??? r ????? ????? F ?? ?"?, ??? ??? ????? ??
  ?"? ??????
• ??????, ?? ??? ????? ?? ??"?
• ?- ?? ??? ????? ?? ??
• ????? F ?? ?"? ????? ?"? , ?????
  , ?? ?? ??? r ?????? ?? F ????? ??
  ??

34
?????????? ?"? ??????? ?? ???????? ?? ?"? ?????

• ?? ??? ?????? ?? ??"? D ? H ?- S ? D
• ???? ????? ?? ?? ??"? S ? H
• ???? S ? D, D ? H ? S ? H

H D S
Rubin CS Levy
Bush Math Cohen
Rubin CS Barak
Student Department Head
35
????? ????? ??????

• ??? ?????? ?????? F ????? ????? ?"?
• ???? ????? ????? ?????, ????? ??? r
  ?????? ?? F ????? ????? ??
• ???? ?-
• ?"? ?????? ??????

A B C
1 1 1
0 0 1
36
??? ????? ?? ????? ?????

• ???? ?-
• ???? ????? ???? ????? ????? (?????), ??? ????
  ?????? ??? ????? ?????

A B C
1 1 1
0 0 1
A B C
1 1 1
0 1 1
37
????????? ?? ?????????

• ?????????? ?? ??
• ????????? (?????)
• ?? ??
• ???????????
• ?? ?- ??

38
????

• ?????????? ??? ???????, ????? ?????? ??? ?? ??"?
  ???????????? (???, ????????? ??? ???)
• ????????? ???????????? ?? ???? ????, ?????
  ??????? ??? ???? ????? ?"? ?????? ??"? ??????
• ??????? ???? ????? ????????

39
????? ?? ?"?

• ?????? ????? F ?? ?"?, ???? ????? ??? ?"? ??????
  ????? ?????????, ?????? ???
• ???? ????? ?? ?- F
• 1. (???? ?- F)
• 2. (????????? ?? 1
  ?? AB)
• 3. (???? ?- F)
• 4. (????????? ?? 3
  ?? ABC)
• 5. (??????????? ??
  2 ?- 4)

40
????? ?? ?????

• ????? ?? ?"? ?????? F ?? ?"? ??? ????
  ????? ?? ?"?, ??????? ?? ??? ?????? ?????
• ?? ?"? ????? ????? ?- F, ????? ??????????? ??
  ????? ??"? ?????? ?????, ??? ????????? ??
  ???????????
• ?????, ????? ??????? ??"?

41
????? ????? ?????

• ?????? ????? ?????? ?????
  ?? ??"? ?????? ??"? F
• ?????? ????? ?- F ????? ??
• , ????? ??? ????? ?????
• ????? ????? ??? ????? ??? ?? ?????, ????? ????
  ?????? ???????? ?? ????? ?????? ??????, ?????

42
?????? ?? ?????????

• ?????? ?????? ??? ?? ????? ?? ?? ?? ?????, ?????

43
?????? ?? ??????????

• ????? ??"? ?????? ??????????? ??????? ??? ???,
  ?????? ??????? ??????????? ??? ?????

44
?????? ?? ?????????

• ???? ???"? ??????? ???? r ????? ???
  ??????? ?- r
• ?????? ?????? ?? ?-
• ???? ?????? ?-
• , ?? ??"? ???????
  ?-r ????? ?-
• ???? ?- , ??????

45
?????? ?? ???????????

• ???? ???"? ?-
  ???????? ???? r ????? ??? ???????
  ?- r
• ?????? ?????? ?? ?-
• ???? ?????? ?-
• , ?? ??"? ???????
  ?- r ????? ?-
• ?????, , ?? ??"?
  ??????? ?- r

46
???? ???????

• ????
• ????? ?????? ???????? ??? ?????????? ?? ????
  ??????. ?????? ?? ??????? ?? ?? ??? ??????????,
  ?????? ?????? ???????, ?????? ?????? ??? ??????
  ????????????.

47
???????? ??????

• ?????
• ?? ?- , ??
• ?????
• ?? , ?? ???
• ?????-???????????
• ?? ?- , ??

48
?????? ?? ????????? ???????

• ?????? ?? ????????? ?????? ???? ?????? ???? ????
  ?????? ?????
• ????? ????, ??? ?????? ???? ????????? ????????,
  ??
• ?? ??? ????? ????????? ??????? ?????????? ????????

49
????? ?? ?????

• 1. ????
• 2. ????????? ?? 1 ?? Z
• 3. ????
• 4. ????????? ?? 3 ?? X
• 5. ??????????? ?? 4 ?- 2

50
????? ?? ?????

• 1. ????
• 2. ??????????
• 3. ??????????? ?? 1 ?- 2
• ????? ???? ????? ????? ????? ??

51
????? ?? ?????-???????????

• 1. ????
• 2. ????????? ?? 1 ?? W
• 3. ????
• 4. ??????????? ?? 2 ?- 3

52
???? ?? ????? ??????????

• ????? ?? ????? ?????????? ???? ?????? ?"?
  , ????? , ???
• ?????, ????? ?? ??????????? ?? ????? ?????
  ?? ?-
• ?? ???? ??????, ?? ??????

53
???? ?? ?????

• ??? ???? ?- ?? ??? ??
• ????? ???? ????? ??????? ?? ????? ??????????? ??
  ?????? ???????.

54
????? ?? ?????????

• ????? ?????? ??? ?? ????? ?? ?? ?? ?????, ?????
• ????? ?????, ????? ?????? ??? ??? ????? ?? ???
  ?????, ????? ?? ????? ?????

55
???? ??????

• ????
• ?????
• ???? ??? ?"? ?????? ????? ?- ,
  ?????
• ???? ???? ????? ?"? ?? ????? ????? ?????, ?????
  ??? r ?????? ?? ????? ????? ??

56
?????????? ???? ???? ???? r???? r ???? ????? ??
X ? Y

• ??? ?????? ????? ??? ?????? ????? ?? X (??????
  ????? ?? ??? ??????????? ?? Y)

X X ??? ??????????? ??? ??????????? ??? ??????????? ??? ??????????? ??? ???????????
1 1
1 1
57
???? r ????? ?? ?? ??"? ?? F
X X X X ??? ??????????? ??? ??????????? ??? ???????????
1 1 1 1
1 1 1 1

• ??? ??? ??????? ?????? ????? ???? ?? X?? ???
  ?????? ?? F ????? ?? ?? X ? X
• F ? X ? X (??? ???? ?? ?????)
• F ? X ? X (??? ???? ???????)

58
??????????? ?????? ?????? ???? ?? ???? r
X X X X ??? ??????????? ??? ??????????? ??? ???????????
1 1 1 1 1 1 1
1 1 1 1 0 0 0

• ??? ??????????? ??? ?? ??????????? ???????? ?- F
  ?? ?- Y ????? ??????? X
• ?- Y ?? ????? ???????? ??? ?????? ??? ???
  ??????????? (?????)
• ??? ??"? X ? Y???? ??????? ?- r

59
???? ?????? ?????????????? ??????

• ?????? ?????? ??? ??? r ??? ????? ???????????
  ???????? ?-
• ???? ??? ?????? ????? ?? ?? ??????????? ??
  ?????? ?? ?? ???????? ????? ???? ?-

60
????? 1 ????? ???????

• ???? ?-
• ???, ??? ???? ?? ?????,
• ?????, ??"? ????? ??????? ???? r

61
????? 2 ??????? ?- r

• ??? ?? ???? ??????? ???? ????? r ??? ??? ?????
  ????? ??????
• ??? ?????? ??? ??"? ?? ???????? ???? r,
  ???? ???? ???? ?????

62
???? ?????

• ???? ?- ?"?, ?? ?-
• ???? ?- ??????? ?- r (?? ??? ?- r
  ??? ?????? ????? ????? ?? ?? ??????????? ?? )

63
???? ???

• ???? ?- ?"?, ?? ?-
• ??? ???? ?? ?????, ???? ????? ?- ??
  ??"?
• ??? ??"? ????? ?-
• ???, ?"? ???????????, ???? ????? ??
• ?????, ??? ???? ?? ?????, , ????
  
• ??? ??????? ?? r ???? ?? ?? ??????????? ??
  ????? ??????? ?- r