數(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ù)對象；（）是指需要進行哪些業(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)）∈（）。
如果要求分解（），那么模式分解總可以達到（），但是不一定能達到（）；
如果要求分解具有（）的特性，那么一定可以達到（）；
如果要求分解既保持函數(shù)依賴、又具有無損連接的特性，那么分解可以達到（），但是不一定能達到（）。

在關(guān)系模式R（U，F(xiàn)）中，被F所邏輯蘊涵的函數(shù)依賴的全體稱作F的（），記為（）。
設(shè)F和G是兩個函數(shù)依賴集，如果F⁺包含于G⁺和G⁺包含于F⁺同時成立，即F⁺＝G⁺，則稱F和G（）。