













Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
A portion of lecture notes from a database systems course taught by luke huan at the university of kansas during spring 2009. The notes cover the topics of redundancy, functional dependency, and decomposition in database design. The instructor provides examples and explanations to help students understand the importance of eliminating redundancy and the role of functional dependencies in database design.
Typology: Study Guides, Projects, Research
1 / 21
This page cannot be seen from the preview
Don't miss anything!














2/23/^
Luke Huan Univ. of Kansas
2/23/^
Luke Huan Univ. of Kansas
PnameB2B platformCRMCRMB2B platform
Ben Liu 9 1123
John Smith 10 1234
Ename John SmithSusan Sidhuk
Hours^3040
2/23/^
Luke Huan Univ. of Kansas
INSERT an new project that no employee has beenassigned to it yet. z UPDATE the name of “John Smith” to “John L. Smith” z DELETE the last employee who works for a certainproject
PnameB2B platformCRMCRMB2B platform
Ben Liu 9 1123
John Smith 10 1234
Ename John SmithSusan Sidhuk
Hours^3040
2/23/^
Luke Huan Univ. of Kansas
[email protected]@[email protected] Ben Liu 1123
John Smith 1234
Ename Susan Sidhuk EID (^1023) Ben Liu 1123
John Smith 1234
Ename Susan Sidhuk EID 1023
[email protected]@[email protected] EID 123411231023
2/23/^
Luke Huan Univ. of Kansas
Hours^3040 10 1023
Hours EID
2/23/^
Luke Huan Univ. of Kansas
2/23/^
Luke Huan Univ. of Kansas
[X]^2 ⇒^ t^1 [Y] = t
[Y] 2
2/23/^
Luke Huan Univ. of Kansas
z^ That is,
K^ is a “super key”
z^ That is,
K^ is minimal (full functional dependent)
z^ {street_address, city, state, zip} z^ {street_address, city, zip} z^ {street_address, zip} z^ {zip}
Super keySuper key(Candidate) KeyNon-key
2/23/^
Luke Huan Univ. of Kansas
Reflexivity: If
Y^ ⊆^
X , then
X^ →
Y
z^ Augmentation: If
X^ →
Y , then
XZ^ →
YZ^ for any
Z
z^ Transitivity: If
X^ →
Y^ and
Y^ →
Z , then
X^ →
Z
Splitting: If
X^ →
YZ , then
X^ →
Y^ and
X^ →
Z
z^ Combining: If
X^ →
Y^ and
X^ →
Z , then
X^ →
YZ
2/23/^
Luke Huan Univ. of Kansas
z^ For every non-trivial FD
X^!^ Y
in^ R
,^ X^ is a super key
z^ That is, all FDs follow from “key
!^ other attributes”
As long as some relation is not in BCNF
Always decompose on a BCNF violation (details next) ) Then it is guaranteed to be a lossless join decomposition!
2/23/^
Luke Huan Univ. of Kansas
That is, a non-trivial FD
X^ →
Y^ in^
R^ where
X^ is not a
super key of
R
z^ R^1
has attributes
X^ ∪ Y
z^ R^2
has attributes
X^ ∪ Z , where
Z^ contains all attributes of
R^ that are in neither
X^ nor
Y^ (i.e.
Z = attr(R) – X – Y
)
2/23/^
Luke Huan Univ. of Kansas
19
2/23/^
Luke Huan Univ. of Kansas
z^ Property_id#
→^ County_name, Lot#, Area, Price, Tax_rate z County_name, Lot#
→^ Property_id
#, Area, Price,
Tax_rate z County_name
→^ Tax_rate
z^ area
→^ Price