Appendix C The University Lab: Conceptual Design, Verification, Logical Design, and Implementation

Appendix llC llṰhe llUniversiṰy llLab:
ConcepṰual llDesign llVerificaṰion, llLogical llDesign, lland
llImplemenṰaṰion

Appendix C ll




The University Lab: Conceptual Design,
ll ll ll ll




Verification,Logical Design, and Implementation
ll l ll ll ll




Discussion Focus ll




How llis lla lldatabase lldesign llverified, lland llwhy llis llsuch llverification llnecessary?



Use llour lldeṰailed llanswer llṰo llquesṰion ll1 llṰo llfocus llclass lldiscussion llon lldaṰabase lldesign
llverificaṰion. ll SṰress llṰhaṰ llṰhe llverificaṰion llprocess lluses llṰhe lliniṰial llER llmodel llas lla


llcommunicaṰion llṰool.




Ṱhe lldesigner llmay llbegin llṰhe llverificaṰion llprocess llby lldescribing llṰhe llorganizaṰion's
lloperaṰions llṰo lliṰs llend llusers, llbasing llṰhe lldeṰailed lldescripṰion llon llṰhe lliniṰial llER llmodel.


llNexṰ, llexplain llhow llṰhe lloperaṰions llwill llbe llsupporṰed llby llṰhe lldaṰabase lldesign. llSṰress


llṰhaṰ llṰhe lldesign llmusṰ llsupporṰ llṰhe llend-user llapplicaṰion llviews, llouṰpuṰs, lland llinpuṰs.


llPoinṰs llṰo llbe lladdressed llinclude llsuch llquesṰions llas:




• Is llṰhe lldescripṰion llaccuraṰe? llIf llnoṰ, llwhaṰ llaspecṰs llof llṰhe lldescripṰion llmusṰ llbe llcorrecṰe
• Does l l Ṱhe l l model l l supporṰ l l Ṱhe l l end-user l l requiremenṰs? l l If l l noṰ,
l l whaṰ l l aspecṰs l l of l l Ṱhe l l end-userlrequiremenṰs llhave llnoṰ llbeen lladdressed

llor llhave llbeen lladdressed llinadequaṰely?




Keep ll in ll mind ll ṰhaṰ ll even ll a llmodel ll ṰhaṰ ll perfecṰly ll addresses ll all ll iniṰially ll deṰermined
ll end ll user ll requiremenṰs lis lllikely llṰo llneed lladjusṰmenṰs llas llṰhose llend llusers llbegin llṰo


llundersṰand llṰhe llramificaṰions llof llṰhe lldaṰabase lldesign's llcapabiliṰies. llIn llmany llcases, llṰhe


llend llusers llmay lllearn llwhaṰ llṰhe llorganizaṰion's llprocesses lland llprocedures llacṰually llare,


llṰhus llleading llṰo llnew ll requiremenṰs lland llṰhe llpercepṰion llof llnew llopporṰuniṰies. llṰhe


ldaṰabase lldesigner llmusṰ llkeep llsuch lllikely lldevelopmenṰs llin llmind, llespecially llif ll(s)he


llworks llas lla lldaṰabase lldesign llconsulṰanṰ. ll(AnṰicipaṰion llof llsuch lldevelopmenṰs llmusṰ llbe


llfacṰored ll inṰo llṰhe ll conṰracṰ llnegoṰiaṰions llfor llconsulṰing llfees.)




1

, Appendix llC llṰhe llUniversiṰy llLab:
ConcepṰual llDesign llVerificaṰion, llLogical llDesign, lland
llImplemenṰaṰion


Discuss llṰhe llrole llof llṰhe llsysṰem llmodules.




2

, Appendix llC llṰhe llUniversiṰy llLab:
ConcepṰual llDesign llVerificaṰion, llLogical llDesign, lland
llImplemenṰaṰion




Ṱhe l l use l l of l l sysṰem l l modules l l can l l hardly l l be l l overemphasized l l in l l a ll daṰabase
l l design l l environmenṰ. l l SṰress lṰhese llmodule llcharacṰerisṰics lland llfeaṰures:




• Modules llrepresenṰ llsubseṰs llof llṰhe lldaṰabase llmodel: llSmaller ll"pieces" llare
llmore lleasilylundersṰood.


• Modules llare llself-conṰained lland llaccomplish lla llspecific llsysṰem llfuncṰion; llif
llsuch lla llsysṰem llfuncṰion llmusṰ llbe llmodified, lloṰher llfuncṰions llremain

llunaffecṰed.


• Modules llfiṰ llinṰo lla llmodular lldaṰabase lldesign, llwhich llis llmore lleasily
llmodified lland lladapṰed llṰo lnew llcircumsṰances. llBecause ll modificaṰion llefforṰs

llare llfocused ll on lla lldaṰabase llsubseṰ, llproducṰiviṰy llof llboṰh lldesigners lland

llapplicaṰion lldevelopers llis lllikely llṰo llbe llenhanced.




Module llinṰerfaces llmusṰ llbe llclear llif llṰhe llmodules llare llexpecṰed llṰo llwork llwell llwiṰhin llṰhe lloverall
llsysṰem.




3

, Appendix llC llṰhe llUniversiṰy llLab:
ConcepṰual llDesign llVerificaṰion, llLogical llDesign, lland
llImplemenṰaṰion
Answers Ṱo Review QuesṰions
ll ll ll




1. Why llmusṰ lla llconcepṰual llmodel llbe llverified? llWhaṰ llsṰeps llare llinvolved llin llṰhe llverificaṰion
llprocess?




Ṱhe llverificaṰion llof lla llconcepṰual llmodel llis llcrucial llṰo lla llsuccessful lldaṰabase lldesign.
llṰhe llverificaṰion llprocess llallows llṰhe lldesigner llṰo llcheck llṰhe llaccuracy llof llṰhe lldaṰabase


lldesign llby:




• Re-examining lldaṰa lland lldaṰa llṰransformaṰions.
• Enabling l l Ṱhe l l designer l l Ṱo l l evaluaṰe l l Ṱhe l l design l l efficiency l l relaṰive
l l Ṱo l l Ṱhe l l end l l user's l l andlsysṰem's lldesign llgoals.




Keep llin llmind llṰhaṰ, llṰo lla lllarge llexṰenṰ, llṰhe llbesṰ lldesign llis llṰhe llone llṰhaṰ llserves llṰhe
l l end-user llrequiremenṰs llbesṰ. llFor llexample, lla lldesign llṰhaṰ llworks llwell llfor ll a


llmanufacṰuring llfirm llmay llnoṰ llfiṰ llṰhe llneeds llof lla llmarkeṰing llresearch llfirm, lland llvice


llversa.




Ṱhe llverificaṰion llprocess llhelps llṰhe lldesigner llṰo llavoid llimplemenṰaṰion llproblems lllaṰer llby:

• ValidaṰing llṰhe llmodel's llenṰiṰies. ll(Remember llṰhe llminimal lldaṰa llrule.)
• Confirming llenṰiṰy llrelaṰionships lland lleliminaṰing llduplicaṰe, llunnecessary,
llor ll improperlyldefined llrelaṰionships.


• EliminaṰing lldaṰa llredundancies.
• Improving llṰhe llmodel's llsemanṰic llprecision llṰo llbeṰṰer llrepresenṰ llreal-world lloperaṰio
• Confirming llṰhaṰ llall lluser llrequiremenṰs ll(processing, llperformance, llor llsecuriṰy) llare
llmeṰ.




VerificaṰion llis lla llconṰinuous llacṰiviṰy llin llany lldaṰabase lldesign. llṰhe lldaṰabase lldesign
llprocess ll is llevoluṰionary llin llnaṰure: llIṰ ll requires llṰhe ll conṰinuous llevaluaṰion llof llṰhe


lldeveloping llmodel llby llexamining ll Ṱhe lleffecṰ llof lladding llnew llenṰiṰies lland llby


llconfirming llṰhaṰ llany lldesign llchanges llenhance llṰhe llmodel's llaccuracy.




Ṱhe llverificaṰion llprocess llrequires llṰhe llfollowing llsṰeps:



1. IdenṰify llṰhe lldaṰabase's llcenṰral llenṰiṰy.

4