SQL בסיסי – הגדרה אינדוקטיבית SELECT DISTINCT c1,c2,…,ck FROM T1,T2,…,Tn WHERE θ T1,T2,…,Tn - שמות של טבלאות. השמות חייבים להיות שונים. c1,c2,…,ck - שמות של עמודות בטבלאות. יש לציין את השם הפנימי במקרה של כפילויות. θ – תנאי בין שני שדות (>,<,=,<>,…), או תנאי מורכב מתנאים אחרים (ע"י AND, NOT, ...) ללא פעולות אריתמטיות. ללא השוואות לקבוצת ערכים. אביב 2012 SQL to RA : SQL

SQL בסיסי – הגדרה אינדוקטיבית פעולות על קבוצות E1 UNION E2 E1 EXCEPT E2 E1 INTERSECT E2 E1,E2 – שאילתות SQL בסיסי אביב 2012 SQL to RA : SQL

SQL בסיסי – הגדרה אינדוקטיבית השמה: מתן שם לתוצאת שאילתה ושם שונה לעמודות. השם החדש יכול להופיע בהמשך בשאילתות SQL בסיסי. CREATE VIEW V(a1,b1,...) AS E E – שאילתת SQL בסיסי V – שם חדש לתוצאת השאילתה. אביב 2012 SQL to RA : SQL

SQL בסיסי – תרגום ל-RA נרצה לתרגם סדרת ביטויי SQL בסיסי ל-RA. r := E E – ביטוי ב-RA. r – שם של רלציה. ערך r הוא ערך הביטוי המקורי. זוהי לא רלציה חדשה. אביב 2012 SQL to RA : SQL

πc1,c2,…,ck(σθ(T1×T2×…×Tn)) SQL בסיסי ו-RA SELECT DISTINCT c1,c2,…,ck FROM T1,T2,…,Tn WHERE θ תרגום השאילתה ל-RA: πc1,c2,…,ck(σθ(T1×T2×…×Tn)) אביב 2012 SQL to RA : SQL

SQL בסיסי ו-RA E1 UNION E2 E1 EXCEPT E2 E1 INTERSECT E2 אביב 2012 SQL to RA : SQL

SQL בסיסי ו-RA CREATE VIEW V(a1,b1,...) AS E אם עמודות E הם (a,b,…), אז התרגום ל-RA הוא: V:=ρa→a1,b→b1,…(E) אביב 2012 SQL to RA : SQL

מסקנות טענה: לכל שאילתה ב-SQL בסיסי ניתן לכתוב ביטוי שקול ב-RA עם השמות. הוכחה באינדוקציית מבנה. מהרצאה: לכל ביטוי RAעם השמות ניתן לכתוב שאילתה שקולה ב-SQL בסיסי. מסקנה: RA עם השמות שקולה ל-SQL בסיסי! אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה (1/5) האם לשאילתה הבאה יש שאילתה שקולה ב-SQL בסיסי? SELECT DISTINCT B.Book_Name AS TheName FROM Books AS B WHERE B.Book_Name NOT IN ( SELECT B2.Book_Name FROM BOOKS B2 WHERE B2.Year <> B.Year) אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה (2/5) תשובה: כן! תחילה ניצור טבלה וירטואלית נוספת: CREATE VIEW Books2(Book_Name,Year) AS SELECT Book_Name,Year FROM Books; אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה (3/5) נחשב את התוצאה: CREATE VIEW Result(TheName) AS SELECT DISTINCT Book_Name FROM Books EXCEPT SELECT DISTINCT Books.Book_Name FROM Books, Books2 WHERE Books.Book_Name = Books2.Book_Name AND Books.Year <> Books2.Year אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה (4/5) לקבלת התוצאה: SELECT TheName FROM Result WHERE true אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה (4/5) πBook_Name(Books)\ πBook_Name( (Books×Books2) תרגום ל-RA עם השמות: Books2 := Books πBook_Name(Books)\ πBook_Name( σBooks.Book_Name=Book2.Book_Name∧Books.Year<>Books2.Year (Books×Books2) ) אביב 2012 SQL to RA : SQL

SQL בסיסי – דוגמה נוספת האם לשאילתה הבאה יש שאילתה שקולה ב-SQL בסיסי? SELECT Year, COUNT(Book_Name) FROM Books GROUP BY Year תשובה: לא! הסבר: בשאילתה זו, תחום הערכים בתוצאה יכול להיות שונה מתחום הערכים ברלציות. זה לא ייתכן ב-RA, ולכן גם לא ב-SQL בסיסי. אביב 2012 SQL to RA : SQL