‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬

‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬

‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫‪ -1‬راﺑﻄﻪ و واﺑﺴﺘﮕﯽﻫﺎي ﺗﺎﺑﻌﯽ زﯾﺮ را در ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ‪:‬‬

‫)𝐻 ‪𝑅(𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹, 𝐺,‬‬

‫𝐸→𝐴‬
‫𝐷 → 𝐸𝐵‬
‫𝐸𝐵 → 𝐷𝐴‬
‫𝐸 → 𝐻𝐷𝐵‬
‫𝐸 → 𝐶𝐴‬
‫𝐴→𝐹‬
‫𝐵→𝐸‬
‫𝐻→𝐷‬
‫𝐹 → 𝐺𝐵‬
‫𝐴 → 𝐷𝐶‬

‫اﻟﻒ( واﺑﺴﺘﮕﯽﻫﺎي ﺗﺎﺑﻌﯽ ﺑﺎﻻ را ﺑﻪ ﻓﺮم ‪ Canonical Cover‬ﺑﻨﻮﯾﺴﯿﺪ و ﮐﻠﯿﺪﻫﺎي ﮐﺎﻧﺪﯾﺪ را ﻣﺸﺨﺺ ﮐﻨﯿﺪ‪.‬‬

‫ب( راﺑﻄﻪ ﺑﺎﻻ را ﺑﻪ ﻓﺮم ‪ 3NF‬ﺗﺠﺰﯾﻪ ﮐﻨﯿﺪ‪.‬‬

‫ج( آﯾﺎ ﭘﺎﺳﺦ ﺷﻤﺎ در ﻗﺴﻤﺖ )ب( ﺑﻪ ﻓﺮم ‪ BCNF‬ﻧﯿﺰ ﻫﺴﺖ؟ ﺗﻮﺿﯿﺢ دﻫﯿﺪ‪.‬‬

‫د( ﻧﺸﺎن دﻫﯿﺪ اﮔﺮ راﺑﻄﻪ ‪ R‬را ﺑﻪ دو راﺑﻄﻪ زﯾﺮ ﺗﺠﺰﯾﻪ ﮐﻨﯿﻢ‪ ،‬اﯾﻦ ﺗﺠﺰﯾﻪ ‪ lossless‬اﺳﺖ‪.‬‬

‫)𝐸 ‪𝑅1(𝐴, 𝐵, 𝐷,‬‬

‫)𝐻 ‪𝑅2(𝐴, 𝐶, 𝐹, 𝐺,‬‬

‫ﭘﺎﺳﺦ‪:‬‬

‫ﻣﯽﺗﻮان از ﺻﻔﺖ ‪ E‬ﺑﻪ وﯾﮋﮔﯽ ‪ B‬رﺳﯿﺪ‪.‬‬ ‫اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا در‬ ‫اﻟﻒ(‪ B‬در ﺳﻤﺖ ﭼﭗ واﺑﺴﺘﮕﯽ‬

‫ﻣﯽﺗﻮان از ‪ A‬ﺑﻪ ‪ EB‬رﺳﯿﺪ‪ E .‬ﻧﯿﺰ‬ ‫اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا در‬ ‫‪ D‬در ﺳﻤﺖ ﭼﭗ واﺑﺴﺘﮕﯽ‬
‫ﻣﯽﺗﻮان از ‪ A‬ﺑﻪ ‪ E‬رﺳﯿﺪ‪.‬‬ ‫در ﺳﻤﺖ راﺳﺖ اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا در‬

‫‪1‬‬
 ‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬
‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫ﻣﯽﺗﻮان از ‪ D‬ﺑﻪ ‪ H‬رﺳﯿﺪ‪:‬‬ ‫اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا در‬ ‫‪ H‬در ﺳﻤﺖ ﭼﭗ‬

‫از ‪ A‬ﻣﯽﺗﻮان ﺑﻪ ‪ E‬رﺳﯿﺪ ﭘﺲ اﯾﻦ واﺑﺴﺘﮕﯽ اﺿﺎﻓﻪ اﺳﺖ‪:‬‬ ‫اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا در‬ ‫‪ C‬در ﺳﻤﺖ ﭼﭗ‬

‫آن را ﻧﺘﯿﺠﻪ ﮔﺮﻓﺖ‪:‬‬ ‫ﻧﯿﺰ اﺿﺎﻓﻪ اﺳﺖ زﯾﺮا ﻣﯽﺗﻮان از‬ ‫واﺑﺴﺘﮕﯽ‬

‫ﻣﺠﻤﻮﻋﻪ واﺑﺴﺘﮕﯽ ﺑﺎﻻ ﻓﺮم ‪ canonical cover‬اﺳﺖ‪.‬‬

‫ب( ﯾﮏ ﺗﺠﺰﯾﻪ ﻣﻤﮑﻦ‪:‬‬

‫)‪R1(A, E‬‬ ‫‪,Ck = A‬‬

‫‪R2(B, D, E) ,Ck = E, BD‬‬

‫)‪R3(A, F‬‬ ‫‪,Ck = F‬‬

‫)‪R4(D, H‬‬ ‫‪,Ck = D‬‬

‫)‪R5(B, F, G‬‬ ‫‪,Ck = BG‬‬

‫)‪R6(A, C, D‬‬ ‫‪,Ck = CD‬‬

‫ﮐﻠﯿﺪﻫﺎي ﮐﺎﻧﺪﯾﺪ راﺑﻄﻪ ‪ R‬ﺑﻪ ﺷﺮح زﯾﺮ اﺳﺖ‪:‬‬

‫‪ACG, BCG, CDG, CEG, CFG‬‬

‫ﻫﯿﭻ ﮐﺪام از رواﺑﻂ ﺑﺎﻻ ﺷﺎﻣﻞ ﯾﮑﯽ از ﮐﻠﯿﺪﻫﺎي ﮐﺎﻧﺪﯾﺪ راﺑﻄﻪ ‪ R‬ﻧﯿﺴﺘﻨﺪ ﭘﺲ ﯾﮑﯽ از ﮐﻠﯿﺪﻫﺎ را اﻧﺘﺨﺎب ﻣﯽﮐﻨﯿﻢ و ﯾﮏ راﺑﻄﻪ ﮐﻪ آن را‬
‫ﺷﺎﻣﻞ ﺷﻮد اﺿﺎﻓﻪ ﻣﯽﮐﻨﯿﻢ‪:‬‬

‫‪R7(B, C, G) no functional dependency Ck = BCG‬‬

‫‪2‬‬
 ‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬
‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫ج( ﺗﺠﺰﯾﻪ ﺑﺎﻻ ﺑﻪ ﻓﺮم ‪ BCNF‬ﻧﯿﺰ ﻫﺴﺖ‪ .‬زﯾﺮا ﻫﻤﺎﻧﻄﻮر ﮐﻪ ﻣﺸﺨﺺ ﺷﺪه در ﺳﻤﺖ ﭼﭗ واﺑﺴﺘﮕﯽﻫﺎي ﻫﺮ راﺑﻄﻪ ﮐﻠﯿﺪ ﮐﺎﻧﺪﯾﺪ آن‬
‫راﺑﻄﻪ ﻗﺮار دارد‪.‬‬

‫د( ﺑﺎ ﺗﻮﺟﻪ ﺑﻪ ﺗﻌﺮﯾﻒ زﯾﺮ دارﯾﻢ‪:‬‬

‫ﻫﻤﺎﻧﻄﻮر ﮐﻪ ﻣﺸﺎﻫﺪه ﻣﯽﮐﻨﯿﻢ ﺗﻮاﻧﺴﺘﯿﻢ ﺑﺎ ﺗﻮﺟﻪ ﺑﻪ واﺑﺴﺘﮕﯽﻫﺎي داده ﺷﺪه از ‪ A‬ﺑﻪ ‪ AEBD‬ﺑﺮﺳﯿﻢ ﮐﻪ ﺷﺎﻣﻞ ﺗﻤﺎم وﯾﮋﮔﯽﻫﺎي ‪1R‬‬
‫اﺳﺖ‪ .‬ﭘﺲ ﻣﯽﺗﻮان ﻧﺘﯿﺠﻪ ﮔﺮﻓﺖ اﯾﻦ ﺗﺠﺰﯾﻪ ‪ lossless‬اﺳﺖ‪.‬‬

‫‪3‬‬
 ‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬
‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫‪ -2‬راﺑﻄﻪ و واﺑﺴﺘﮕﯽﻫﺎي ﺗﺎﺑﻌﯽ زﯾﺮ را در ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ‪:‬‬

‫)𝐸 ‪𝑅(𝐴, 𝐵, 𝐶, 𝐷,‬‬

‫𝐵→𝐴‬
‫𝐷𝐵 → 𝐶𝐴‬
‫𝐶 → 𝐵𝐴‬
‫𝐴 → 𝐷𝐶𝐵‬

‫اﻟﻒ( !𝐴 را ﺑﺪﺳﺖ آورﯾﺪ‪.‬‬

‫ب( ‪External Attribute‬ﻫﺎ را ﺑﯿﺎﺑﯿﺪ و ادﻋﺎي ﺧﻮد را ﺑﯿﺎزﻣﺎﯾﯿﺪ‪.‬‬

‫ج( ﮐﻠﯿﺪﻫﺎي ﮐﺎﻧﺪﯾﺪ راﺑﻄﻪ ‪ R‬را ﺑﺪﺳﺖ آورﯾﺪ‪.‬‬

‫اﻟﻒ(‬

‫‪A+‬‬

‫‪1- result = A‬‬

‫)‪2- result = AB (1st functional dependency‬‬

‫)‪3- result = ABC (3rd functional dependency‬‬

‫‪4- result = ABCD (2nd functional dependency) => A+ = ABCD‬‬

‫ب( ‪C‬ﺎ اﺳﺘﻔﺎدە از ﻣﻮارد ز‪N‬ﺮ ادﻋﺎی ﺧﻮد را در ﻫﺮ ﻣﻮرد ‪T‬آزﻣﺎﯾ‪W‬ﻢ‪:‬‬

‫‪4‬‬
 ‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬
‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫اﺑﺘﺪا اﺿﺎﻓﻪ ﺑﻮدن ‪ B‬را ‪T‬آزﻣﺎﯾ‪W‬ﻢ‪:‬‬

‫‪F’:‬‬

‫‪(AC)+ = ACBD‬‬

‫‪C‬ﺎ ﺗﻮﺟﻪ ‪C‬ﻪ اﯾﻨﮑﻪ )‪ +(AC‬ﺷﺎﻣﻞ ‪ B‬ﻧ ‪ ik j‬ﻫﺴﺖ ‪n‬ﺲ ادﻋﺎی ﻣﺎ درﺳﺖ اﺳﺖ‪.‬‬
‫‪u‬‬
‫ﺳ‪q‬ﺲ اﺿﺎﻓﻪ ﺑﻮدن ‪ C‬را ‪C‬ﺎ اﺳﺘﻔﺎدە از وا‪s‬ﺴﺘ‪t‬ﻫﺎی اﺻ‪T w‬آزﻣﺎﯾ‪W‬ﻢ‪:‬‬

‫‪A+ = ABCD‬‬

‫‪C‬ﺎ ﺗﻮﺟﻪ ‪C‬ﻪ اﯾﻨﮑﻪ ‪ +A‬ﺷﺎﻣﻞ ‪ C‬ﻧ ‪ ik j‬ﻫﺴﺖ ‪n‬ﺲ ادﻋﺎی ﻣﺎ درﺳﺖ اﺳﺖ‪.‬‬
‫‪u‬‬ ‫‪u‬‬
‫‪n‬ﺲ اﯾﻦ وا‪s‬ﺴﺘ‪C t‬ﻪ وا‪s‬ﺴﺘ‪ t‬ز‪N‬ﺮ ﺗ‪y‬ﺪ‪z‬ﻞ ‪T‬ﺷﻮد‪:‬‬

‫‪u‬‬
‫ﺣﺎل ﺑﺮای وا‪s‬ﺴﺘ‪ t‬ز‪N‬ﺮ اﺿﺎﻓﻪ ﺑﻮدن ‪ B‬را ‪T‬آزﻣﺎﯾ‪W‬ﻢ‪:‬‬

‫‪(A)+ = ABCD‬‬

‫‪5‬‬
 ‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫اﺻﻮل ﻃﺮاﺣﯽ ﭘﺎﯾﮕﺎه داده – دﮐﺘﺮ ﺷﻬﺮﯾﺎري‬
‫ﻧﯿﻤﺴﺎل دوم ‪1402-1401‬‬
‫ﮐﻮﯾﯿﺰ دوم‬
‫داﻧﺸﮑﺪه ﻣﻬﻨﺪﺳﯽ ﮐﺎﻣﭙﯿﻮﺗﺮ‬ ‫داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ اﻣﯿﺮﮐﺒﯿﺮ‬
‫ﺷﻤﺎره داﻧﺸﺠﻮﯾﯽ‪:‬‬ ‫ﻧﺎم و ﻧﺎم ﺧﺎﻧﻮادﮔﯽ‪:‬‬

‫‪C‬ﺎ ﺗﻮﺟﻪ ‪C‬ﻪ اﯾﻨﮑﻪ ‪ +A‬ﺷﺎﻣﻞ ‪ B‬ﻧ ‪ ik j‬ﻫﺴﺖ ‪n‬ﺲ ادﻋﺎی ﻣﺎ درﺳﺖ اﺳﺖ‪.‬‬
‫‪u‬‬ ‫‪u‬‬
‫‪n‬ﺲ اﯾﻦ وا‪s‬ﺴﺘ‪C t‬ﻪ وا‪s‬ﺴﺘ‪ t‬ز‪N‬ﺮ ﺗ‪y‬ﺪ‪z‬ﻞ ‪T‬ﺷﻮد‪:‬‬

‫ج(‬
‫‪C‬ﺎ ﺗﻮﺟﻪ ‪C‬ﻪ ‪C‬ﺨﺶ اﻟﻒ ‪T‬ﺗﻮان ‪ A‬را ‪C‬ﻪﻋﻨﻮان ‪€‬ﻠ‪W‬ﺪ ‪€‬ﺎﻧﺪ‪z‬ﺪ ﻣﺤﺴﻮب ﮐﺮد‪ .‬ﻫﻢﭼﻨ ‪k j‬‬
‫…‪:‬‬

‫‪(BCD)+ = ABCD‬‬

‫و ﻫﯿﭻ ز‪N‬ﺮ ﻣﺠﻤﻮﻋﻪای از ‪ BCD‬ﻣﻮﺟﻮد ﻧ‪Š‬ﺴﺖ ﮐﻪ ﺑﺘﻮاﻧ‪W‬ﻢ از آن ‪C‬ﻪ ‪ R‬ﺑﺮﺳ‪W‬ﻢ‪n .‬ﺲ ‪ BCD‬ﻧ ‪z ik j‬ﮏ ‪€‬ﻠ‪W‬ﺪ ‪€‬ﺎﻧﺪ‪z‬ﺪ اﺳﺖ‪.‬‬

‫‪6‬‬