數(shù)據(jù)庫設(shè)計(jì)有廣義和狹義兩個(gè)定義。廣義的定義是指基于數(shù)據(jù)庫的應(yīng)用系統(tǒng)或管理信息系統(tǒng)的設(shè)計(jì)，它包括（）和（）兩部分內(nèi)容。狹義的定義則專指（）的設(shè)計(jì)。
數(shù)據(jù)庫設(shè)計(jì)的基本任務(wù)就是根據(jù)用戶的信息需求，處理需求和數(shù)據(jù)庫的支撐環(huán)境（包括DBMS、操作系統(tǒng)、硬件），設(shè)計(jì)一個(gè)結(jié)構(gòu)合理、使用方便、效率較高的數(shù)據(jù)庫。（）是指在數(shù)據(jù)庫中應(yīng)該存儲(chǔ)和管理哪些數(shù)據(jù)對(duì)象；（）是指需要進(jìn)行哪些業(yè)務(wù)處理和操作，如對(duì)數(shù)據(jù)對(duì)象的查詢、增加、刪除、修改、統(tǒng)計(jì)等操作。

關(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á)到（）。

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