數(shù)據(jù)庫設(shè)計有廣義和狹義兩個定義。廣義的定義是指基于數(shù)據(jù)庫的應(yīng)用系統(tǒng)或管理信息系統(tǒng)的設(shè)計,它包括()和()兩部分內(nèi)容。狹義的定義則專指()的設(shè)計。
數(shù)據(jù)庫設(shè)計的基本任務(wù)就是根據(jù)用戶的信息需求,處理需求和數(shù)據(jù)庫的支撐環(huán)境(包括DBMS、操作系統(tǒng)、硬件),設(shè)計一個結(jié)構(gòu)合理、使用方便、效率較高的數(shù)據(jù)庫。()是指在數(shù)據(jù)庫中應(yīng)該存儲和管理哪些數(shù)據(jù)對象;()是指需要進(jìn)行哪些業(yè)務(wù)處理和操作,如對數(shù)據(jù)對象的查詢、增加、刪除、修改、統(tǒng)計等操作。
關(guān)系模式R(U,F(xiàn))∈1NF,X→Y是F上的任意函數(shù)依賴,并且Y不屬于X,U()依賴于X,則R(U,F(xiàn))∈()。
如果要求分解(),那么模式分解總可以達(dá)到(),但是不一定能達(dá)到();
如果要求分解具有()的特性,那么一定可以達(dá)到();
如果要求分解既保持函數(shù)依賴、又具有無損連接的特性,那么分解可以達(dá)到(),但是不一定能達(dá)到()。