lecture’02:’sql’ - courses.cs.washington.edu · 1 lecture’02:’sql’...
TRANSCRIPT
![Page 1: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/1.jpg)
1
Lecture 02: SQL
Wednesday, March 31st, 2010
Dan Suciu -- 444 Spring 2010
![Page 2: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/2.jpg)
2
Accessing SQL Server
• Host: IISQLSRV.cs.washington.edu
• AuthenCcaCon: SQL Server AuthenCcaCon
• User: [email protected]
• Password: 'cse444login!' (without the quotes)
• Change your password !
Dan Suciu -- 444 Spring 2010
![Page 3: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/3.jpg)
3
Outline
• Data in SQL • Simple Queries in SQL (6.1)
• Queries with more than one relaCon (6.2)
• Subqueries (6.3)
Dan Suciu -- 444 Spring 2010
![Page 4: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/4.jpg)
4
SQL
• Data DefiniCon Language (DDL) – Create/alter/delete tables and their a[ributes – Following lectures...
• Data ManipulaCon Language (DML) – Query one or more tables – discussed next ! – Insert/delete/modify tuples in tables
Dan Suciu -- 444 Spring 2010
![Page 5: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/5.jpg)
5
Tables in SQL
PName Price Category Manufacturer
Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks
SingleTouch $149.99 Photography Canon
MultiTouch $203.99 Household Hitachi
Product
Attribute names Table name
Tuples or rows
Key
Dan Suciu -- 444 Spring 2010
![Page 6: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/6.jpg)
6
Data Types in SQL
• Atomic types: – Characters: CHAR(20), VARCHAR(50) – Numbers: INT, BIGINT, SMALLINT, FLOAT – Others: MONEY, DATETIME, …
• Record (aka tuple) – Has atomic a[ributes
• Table (relaCon) – A set of tuples
Dan Suciu -- 444 Spring 2010
![Page 7: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/7.jpg)
7
Simple SQL Query
PName Price Category Manufacturer Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks SingleTouch $149.99 Photography Canon MultiTouch $203.99 Household Hitachi
SELECT * FROM Product WHERE category=‘Gadgets’
Product
PName Price Category Manufacturer Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks “selection” Dan Suciu -- 444 Spring 2010
![Page 8: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/8.jpg)
8
Simple SQL Query
PName Price Category Manufacturer Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks SingleTouch $149.99 Photography Canon MultiTouch $203.99 Household Hitachi
SELECT PName, Price, Manufacturer FROM Product WHERE Price > 100
Product
PName Price Manufacturer SingleTouch $149.99 Canon MultiTouch $203.99 Hitachi
“selection” and “projection”
Dan Suciu -- 444 Spring 2010
![Page 9: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/9.jpg)
9
Details
• Case insensiCve:
SELECT = Select = select
Product = product
BUT: ‘Sea[le’ ≠ ‘sea[le’
• Constants:
‘abc’ -‐ yes
“abc” -‐ no
Dan Suciu -- 444 Spring 2010
![Page 10: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/10.jpg)
10
EliminaCng Duplicates
SELECT DISTINCT category FROM Product
Compare to:
SELECT category FROM Product
Category Gadgets Gadgets
Photography Household
Category Gadgets
Photography Household
Dan Suciu -- 444 Spring 2010
![Page 11: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/11.jpg)
11
Ordering the Results
SELECT pname, price, manufacturer FROM Product WHERE category=‘gizmo’ AND price > 50 ORDER BY price, pname
Ties are broken by the second attribute on the ORDER BY list.
Ordering is ascending, unless you specify the DESC keyword.
Dan Suciu -- 444 Spring 2010
![Page 12: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/12.jpg)
12
SELECT Category FROM Product ORDER BY PName
PName Price Category Manufacturer Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks SingleTouch $149.99 Photography Canon MultiTouch $203.99 Household Hitachi
? SELECT DISTINCT category FROM Product ORDER BY category
SELECT DISTINCT category FROM Product ORDER BY PName
? ?
Dan Suciu -- 444 Spring 2010
![Page 13: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/13.jpg)
13
Keys and Foreign Keys
PName Price Category Manufacturer Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks SingleTouch $149.99 Photography Canon MultiTouch $203.99 Household Hitachi
Product
Company
CName StockPrice Country
GizmoWorks 25 USA
Canon 65 Japan
Hitachi 15 Japan
Key
Foreign key
Dan Suciu -- 444 Spring 2010
![Page 14: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/14.jpg)
14
Joins
Product (pname, price, category, manufacturer) Company (cname, stockPrice, country)
Find all products under $200 manufactured in Japan; return their names and prices.
SELECT PName, Price FROM Product, Company WHERE Manufacturer=CName AND Country=‘Japan’ AND Price <= 200
Join between Product
and Company
Dan Suciu -- 444 Spring 2010
![Page 15: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/15.jpg)
15
Joins
PName Price Category Manufacturer
Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks
SingleTouch $149.99 Photography Canon
MultiTouch $203.99 Household Hitachi
Product Company
Cname StockPrice Country
GizmoWorks 25 USA
Canon 65 Japan
Hitachi 15 Japan
PName Price
SingleTouch $149.99
SELECT PName, Price FROM Product, Company WHERE Manufacturer=CName AND Country=‘Japan’ AND Price <= 200
Dan Suciu -- 444 Spring 2010
![Page 16: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/16.jpg)
16
Tuple Variables
SELECT DISTINCT pname, address FROM Person, Company WHERE worksfor = cname
Which address ?
Person(pname, address, worksfor) Company(cname, address)
SELECT DISTINCT Person.pname, Company.address FROM Person, Company WHERE Person.worksfor = Company.cname
SELECT DISTINCT x.pname, y.address FROM Person AS x, Company AS y WHERE x.worksfor = y.cname
Dan Suciu -- 444 Spring 2010
![Page 17: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/17.jpg)
17
In Class
Product (pname, price, category, manufacturer) Company (cname, stockPrice, country)
Find all Chinese companies that manufacture products both in the ‘toy’ category
SELECT cname
FROM
WHERE
Dan Suciu -- 444 Spring 2010
![Page 18: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/18.jpg)
18
In Class
Product (pname, price, category, manufacturer) Company (cname, stockPrice, country)
Find all Chinese companies that manufacture products both in the ‘electronic’ and ‘toy’ categories
SELECT cname
FROM
WHERE
Dan Suciu -- 444 Spring 2010
![Page 19: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/19.jpg)
19
Meaning (SemanCcs) of SQL Queries
SELECT a1, a2, …, ak FROM R1 AS x1, R2 AS x2, …, Rn AS xn WHERE CondiCons
Answer = {} for x1 in R1 do for x2 in R2 do ….. for xn in Rn do if Conditions then Answer = Answer ∪ {(a1,…,ak)} return Answer
Dan Suciu -- 444 Spring 2010
![Page 20: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/20.jpg)
20
SELECT DISTINCT R.A FROM R, S, T WHERE R.A=S.A OR R.A=T.A
Using the Formal SemanCcs
If S ≠ ∅ and T ≠ ∅ then returns R ∩ (S ∪ T) else returns ∅
What do these queries compute ?
SELECT DISTINCT R.A FROM R, S WHERE R.A=S.A
Returns R ∩ S
Dan Suciu -- 444 Spring 2010
![Page 21: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/21.jpg)
21
Joins Introduce Duplicates
Product (pname, price, category, manufacturer) Company (cname, stockPrice, country)
Find all countries that manufacture some product in the ‘Gadgets’ category.
SELECT Country FROM Product, Company WHERE Manufacturer=CName AND Category=‘Gadgets’
Dan Suciu -- 444 Spring 2010
![Page 22: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/22.jpg)
22
Joins Introduce Duplicates
Name Price Category Manufacturer
Gizmo $19.99 Gadgets GizmoWorks
Powergizmo $29.99 Gadgets GizmoWorks
SingleTouch $149.99 Photography Canon
MultiTouch $203.99 Household Hitachi
Product Company Cname StockPrice Country
GizmoWorks 25 USA
Canon 65 Japan
Hitachi 15 Japan
Country
USA
USA Duplicates !
Remember to add DISTINCT
SELECT Country FROM Product, Company WHERE Manufacturer=CName AND Category=‘Gadgets’
Dan Suciu -- 444 Spring 2010
![Page 23: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/23.jpg)
23
Subqueries
• A subquery is another SQL query nested inside a larger query
• Such inner-‐outer queries are called nested queries • A subquery may occur in:
1. A SELECT clause 2. A FROM clause 3. A WHERE clause
Dan Suciu -- 444 Spring 2010
Rule of thumb: avoid wriCng nested queries when possible; keep in mind that someCmes it’s impossible
![Page 24: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/24.jpg)
24
1. Subqueries in SELECT
Product ( pname, price, company) Company(cname, city)
For each product return the city where it is manufactured
SELECT X.pname, (SELECT Y.city FROM Company Y WHERE Y.cname=X.company) FROM Product X
What happens if the subquery returns more than one city ?
Dan Suciu -- 444 Spring 2010
![Page 25: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/25.jpg)
25
1. Subqueries in SELECT
Product ( pname, price, company) Company(cname, city)
Whenever possible, don’t use a nested queries:
= We have “unnested” the query
Dan Suciu -- 444 Spring 2010
SELECT pname, (SELECT city FROM Company WHERE cname=company) FROM Product
SELECT pname, city FROM Product, Company WHERE cname=company
![Page 26: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/26.jpg)
26
1. Subqueries in SELECT
Product ( pname, price, company) Company(cname, city)
Compute the number of products made in each city
SELECT DISTINCT city, (SELECT count(*) FROM Product WHERE cname=company) FROM Company
Better: we can unnest by using a GROUP BY (next lecture)
Dan Suciu -- 444 Spring 2010
![Page 27: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/27.jpg)
27
2. Subqueries in FROM
Product ( pname, price, company) Company(cname, city)
Find all products whose prices is > 20 and < 30
SELECT X.city FROM (SELECT * FROM Product AS Y WHERE Y.price > 20) AS X WHERE X.price < 30
Unnest this query !
Dan Suciu -- 444 Spring 2010
![Page 28: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/28.jpg)
28
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
SELECT DISTINCT Company.city FROM Company WHERE EXISTS (SELECT * FROM Product WHERE company = cname and Produc.price < 100)
Existential quantifiers
Using EXISTS:
Dan Suciu -- 444 Spring 2010
![Page 29: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/29.jpg)
29
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
Existential quantifiers
Predicate Calculus (a.k.a. First Order Logic)
Dan Suciu -- 444 Spring 2010
{ y | ∃x. Company(x,y) ∧ (∃z. ∃p. Product(z,p,x) ∧ p < 100) }
![Page 30: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/30.jpg)
30
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
SELECT DISTINCT Company.city FROM Company WHERE Company.cname IN (SELECT Product.company FROM Product WHERE Produc.price < 100)
Existential quantifiers
Using IN
Dan Suciu -- 444 Spring 2010
![Page 31: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/31.jpg)
31
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
SELECT DISTINCT Company.city FROM Company WHERE 100 > ANY (SELECT price FROM Product WHERE company = cname)
Existential quantifiers
Using ANY:
Dan Suciu -- 444 Spring 2010
![Page 32: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/32.jpg)
32
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
SELECT DISTINCT Company.cname FROM Company, Product WHERE Company.cname = Product.company and Product.price < 100
Existential quantifiers are easy !
Existential quantifiers
Now let’s unnest it:
Dan Suciu -- 444 Spring 2010
![Page 33: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/33.jpg)
33
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Universal quantifiers are hard !
Find all cities with companies that make only products with price < 100
Universal quantifiers
Dan Suciu -- 444 Spring 2010
![Page 34: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/34.jpg)
34
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Universal quantifiers
Predicate Calculus (a.k.a. First Order Logic)
Dan Suciu -- 444 Spring 2010
{ y | ∃x. Company(x,y) ∧ (∀z. ∀p. Product(z,p,x) p < 100) }
Find all cities with companies that make only products with price < 100
![Page 35: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/35.jpg)
35
3. Subqueries in WHERE
Dan Suciu -- 444 Spring 2010
{ y | ∃x. Company(x,y) ∧ (∀z. ∀p. Product(z,p,x) p < 100) }
De Morgan’s Laws: ¬(A ∧ B) = ¬A ∨ ¬B ¬(A ∨ B) = ¬A ∧ ¬B ¬∀x. P(x) = ∃x. ¬ P(x) ¬∃x. P(x) = ∀x. ¬ P(x)
{ y | ∃x. Company(x,y) ∧ ¬ (∃z∃p. Product(z,p,x) ∧ p ≥ 100) }
{ y | ∃x. Company(x,y)) } - { y | ∃x. Company(x,y) ∧ (∃z∃p. Product(z,p,x) ∧ p ≥ 100) }
¬(A B) = A ∧ ¬B
=
=
![Page 36: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/36.jpg)
36
3. Subqueries in WHERE
2. Find all companies s.t. all their products have price < 100
1. Find the other companies: i.e. s.t. some product ≥ 100
Dan Suciu -- 444 Spring 2010
SELECT DISTINCT Company.city FROM Company WHERE Company.cname IN (SELECT Product.company FROM Product WHERE Produc.price >= 100
SELECT DISTINCT Company.city FROM Company WHERE Company.cname NOT IN (SELECT Product.company FROM Product WHERE Produc.price >= 100
![Page 37: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/37.jpg)
37
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities with companies that make only products with price < 100
Universal quantifiers
Using EXISTS:
Dan Suciu -- 444 Spring 2010
SELECT DISTINCT Company.city FROM Company WHERE NOT EXISTS (SELECT * FROM Product WHERE company = cname and Produc.price >= 100)
![Page 38: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/38.jpg)
38
3. Subqueries in WHERE
Product ( pname, price, company) Company( cname, city)
Find all cities that make some products with price < 100
SELECT DISTINCT Company.city FROM Company WHERE 100 > ALL (SELECT price FROM Product WHERE company = cname)
Universal quantifiers
Using ALL:
Dan Suciu -- 444 Spring 2010
![Page 39: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/39.jpg)
39
QuesCon for Database Fans and their Friends
• Can we unnest the universal quan0fier query ?
Dan Suciu -- 444 Spring 2010
![Page 40: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/40.jpg)
40
Monotone Queries • A query Q is monotone if:
– Whenever we add tuples to one or more of the tables… – … the answer to the query cannot contain fewer tuples
• Fact: all unnested queries are monotone – Proof: using the “nested for loops” semanCcs
• Fact: A query a universal quanCfier is not monotone
• Consequence: we cannot unnest a query with a universal quanCfier Dan Suciu -- 444 Spring 2010
![Page 41: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/41.jpg)
41
Queries that must be nested
• Queries with universal quanCfiers or with negaCon
• The drinkers-‐bars-‐beers example next
• This is a famous example from textbook on databases by Ullman
Dan Suciu -- 444 Spring 2010
![Page 42: Lecture’02:’SQL’ - courses.cs.washington.edu · 1 Lecture’02:’SQL’ Wednesday,’March’31st,2010 Dan Suciu -- 444 Spring 2010](https://reader034.vdocument.in/reader034/viewer/2022050507/5f989e5cad15a458f35eecf0/html5/thumbnails/42.jpg)
42
The drinkers-‐bars-‐beers example
Find drinkers that frequent some bar that serves some beer they like.
Find drinkers that frequent only bars that serves some beer they like.
Find drinkers that frequent only bars that serves only beer they like.
Challenge: write these in SQL
Find drinkers that frequent some bar that serves only beers they like.
Dan Suciu -- 444 Spring 2010
Likes(drinker, beer) Frequents(drinker, bar) Serves(bar, beer)
x: ∃y. ∃z. Frequents(x, y)∧Serves(y,z)∧Likes(x,z)
x: ∀y. Frequents(x, y)⇒ (∃z. Serves(y,z)∧Likes(x,z))
x: ∀y. Frequents(x, y)⇒ ∀z.(Serves(y,z) ⇒ Likes(x,z))
x: ∃y. Frequents(x, y)∧∀z.(Serves(y,z) ⇒ Likes(x,z))