


































































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
This lecture was delivered by Dr. Tariq Mahmood at Quaid-i-Azam University for Introduction to Database System. It includes: Database, Systems, Normalization, Design, Anomalies, DBD, Redundancy, Insertion, Minimum, Form
Typology: Slides
1 / 74
This page cannot be seen from the preview
Don't miss anything!



































































Lecture 15-05- Spring 2012 docsity.com
Department of Computer Science
A state of DBD that can lead the DB to inconsistency or incorrect state of database
Four types of anomalies are of concern here; Redundancy, insertion, deletion and updation
Department of Computer Science
Department of Computer Science
Different forms or levels of normalization
Called first, second, third and so on forms
Each form has got certain conditions
If a table fulfils the condition(s) for a normal form then the table is in that normal form
Department of Computer Science
Process is applied on each table
The minimum form in which all tables are in is called the normal form of the entire database
Objective is to place the DB in highest form of normalization
Department of Computer Science
Department of Computer Science
It does not mean that A derives B, although it may be the case sometime Means that if we know value of A then we can precisely determine a unique value of B
Department of Computer Science
STD(stId, stName, stAdr, prName, credits)
stId stName, stAdr, prName, credits prName credits
Department of Computer Sciencedocsity.com
Department of Computer Science
Department of Computer Science
Department of Computer Science
EMP(eId, eName, eAdr, eDept, prId, prSal) eId eName, eDept, eAdr
eId, prId prSal STD(stId, stName, prName, adr, nic, cgpa) stId stName, prName, adr, nic, cgpa nic stName, prName, adr, stId, cgpa
Department of Computer Science
Called inference axioms or armstrong axioms These are rules that establish certain FDs from a given set of FDs These rules are sound