מערכות בסיסי נתונים - תקציר שיעורים

שבוע	תקציר	תרגיל מתוכנן
1	מבוא: מטרות מערכת ניהול בסיסי נתונים, רמות הפשטת מידע ומודלים עבורן, מרכיבים בסיסיים של מערכות ניהול בסיסי נתונים.
2	מודל ישויות-קשרים (ER Model) לתיאור בסיסי נתונים. המודל הטבלאי: סוגי מפתחות, בניית בסיסי נתונים טבלאי על סמך דיאגרמת ישויות קשרים.	תרגיל 1
3	המודל הטבלאי לייצוג מידע - דוגמאות. אלגברת היחסים (Relational Algebra) - התחלה.
4	אלגברת היחסים (Relational Algebra) - המשך. תחשיב היחסים לפי n-יות (Tuple Relational Calculus).	תרגיל 2
5	תחשיב היחסים לפי תחומים (Domain Relational Calculus) השוואת יכולת הביטוי של אלגברת היחסים והתחשיבים הלוגיים: מעבר מביטויים אלגבריים לנוסחאות לוגיות וההיפך, שלמות התחשיבים הלוגיים, נוסחאות בטוחות, נוסחאות בלתי תלויות בתחום, חישוביות אפקטיבית.	תרגיל 3
6	שפת SQL - הגדרה ודוגמאות של שאילתות בסיסיות.	תרגיל 4 (הרצה I)
7	שפת SQL - המשך: פעולות עדכון בסיס הנתונים, תצפיות, SQL DDL. תיכון בסיסי נתונים - חלק א': בקרת שלמות הנתונים. מנגנונים לבקרת שלמות ב-SQL: אילוצי תחום, אילוצי קישור (מפתחות ראשיים וזרים).	תרגיל 5 (הרצה II)
8	תיכון בסיסי נתונים: בקרת שלמות הנתונים, המשך: תלויות פונקציונליות, סגור של תלויות פונקציונליות, שיטות לחישוב שייכות לסגור, כללי ארמסטרונג, סגור של קבוצת תכונות.
9	תיכון בסיסי נתונים: בקרת שלמות הנתונים, המשך: תאור קנוני של תלויות פונקציונליות. תיכון בסיסי נתונים - חלק ב': שיטות לנרמול מידע. שיקולים כלליים בעיצוב בסיס נתונים.	תרגיל 6
10	תיכון בסיסי נתונים: שיטות לנרמול מידע, המשך: שימור מידע, שימור תלויות, סילוק כפילויות. צורות נורמליות של בסיסי נתונים: נרמול BCNF.
11	תיכון בסיסי נתונים: שיטות לנרמול מידע, המשך: נירמול3NF, תלויות רב ערכיות, נרמול 4NF.	תרגיל 7
12	מערכות ניהול בסיסי נתונים: בקרת בו-זמניות. ניהול טרנזקציות, תיזמונים של טרנזקציות, ארגון סדרתי של תזמונים, פרוטוקולים לתמיכה בעיבוד בו-זמני: פרוטוקולים מבוססי נעילה.	תרגיל 8
13	מערכות ניהול בסיסי נתונים: בקרת בו-זמניות, המשך: פרוטוקולים לתמיכה בעיבוד בו-זמני: פרוטוקולים מבוססי נעילה (פרוטוקול נעילה דו-שלבית), פרוטוקול תגי זמן, פרוטוקולים מבוססי אימות. מערכות ניהול בסיסי נתונים: ארגון הנתונים. קבצי אינדקס \ סדרתיים.
14	מערכות ניהול בסיסי נתונים: ארגון הנתונים, המשך: עצי B ו- +B, ניהול מפתחות ע"י פונקציות ערבול (hashing) .	תרגיל 9
*	מודל הרשת והמודל ההיררכי.