Upload Excel/CSV, run SQL, watch queries execute step-by-step.
העלה Excel/CSV, הרץ SQL, וצפה בשאילתות מתבצעות שלב-שלב.
Define a relation and FDs, then watch (or play) the s,t-proof.
הגדר יחס ו-FD-ים, ואז צפה (או שחק) את הוכחת s,t.
Edit XML, run XPath against a live tree, animate the query step-by-step.
ערוך XML, הרץ XPath מול עץ חי, והנפש את השאילתה צעד-צעד.
מודל רלציוני · נורמליזציה · SQL
ER, אלגברה רלציונית, תורת ה-FD והוכחות, נורמליזציה (1NF→BCNF→4NF), אינדוקס (עצי B+, hashing), אופטימיזציית שאילתות וטרנזקציות/מקביליות. דו-לשוני עברית/אנגלית עם ויזואליזציות בעלות ערכים קונקרטיים לכל הוכחה ואלגוריתם.
ER ויסודות
מהעולם האמיתי לסכימה רלציונית.
המודל הרלציוני ואלגברה רלציונית
התשתית המתמטית של כל שאילתת SQL.
SQL
שפת הליבה של מסדי נתונים רלציוניים.
תלויות פונקציונליות והוכחות פורמליות
הליבה התיאורטית של הקורס — ושל כל מבחן.
נורמליזציה
מטבלאות רחבות נוטות-לאנומליות לעיצובים נטולי-יתירות.
אחסון ואינדקסים
איך שורות חיות בדיסק ואיך למצוא אותן מהר.
עיבוד שאילתות ואופטימיזציה
איך מחרוזת SQL הופכת לתוכנית ביצוע יעילה.
טרנזקציות ובקרת מקביליות
ACID, סדרתיות, נעילה, MVCC.
XML, XPath ו-XQuery
נתונים בצורת עץ והשאילתות שמנווטות בהם.