Advertisement
TwiNNeR

Untitled

Nov 11th, 2016
125
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.03 KB | None | 0 0
  1. --1:
  2. π Eats.pizza (π name (σ gender = 'female' ∧ age > 20 (Person)) ⨝ Person.name = Eats.name Eats)
  3.  
  4.  
  5.  
  6.  
  7. --2:
  8. π Serves.pizzeria (σ Serves.price < 10 ((σ name = 'Amy' ∨ name = 'Fay' (Eats)) ⨝ Eats.pizza = Serves.pizza Serves))
  9.  
  10.  
  11.  
  12.  
  13. --3:
  14.  
  15. ALLPIZZERIAS = (π Eats.pizza (σ name = 'Amy' (Eats)) ∩ π Eats.pizza (σ name = 'Fay' (Eats))) ⨝ Eats.pizza = Serves.pizza (Serves)
  16.  
  17. π Serves.pizzeria (σ Serves.price < 10 (ALLPIZZERIAS))
  18.  
  19.  
  20.  
  21.  
  22. --4:
  23.  
  24. EatAtDominos = π Frequents.name (σ Frequents.pizzeria = 'Dominos' (Frequents))
  25.  
  26. PizzasAtDominos = π Serves.pizza (σ pizzeria = 'Dominos' (Serves))
  27.  
  28. π Eats.name (Eats ⨝ Eats.pizza = Serves.pizza PizzasAtDominos) - EatAtDominos
  29.  
  30.  
  31.  
  32.  
  33.  
  34. --5.
  35.  
  36. OlderThanThirty = π Person.name (σ Person.age > 30 (Person))
  37.  
  38. PizzeriasServeOlder = π Serves.pizzeria (π Eats.pizza (Eats ⨝ Eats.name = Person.name OlderThanThirty) ⨝ Eats.pizza = Serves.pizza Serves)
  39.  
  40. YoungerThanThirty = π Person.name (σ Person.age < 30 (Person))
  41.  
  42. PizzeriasServeYounger = π Serves.pizzeria (π Eats.pizza (Eats ⨝ Eats.name = Person.name YoungerThanThirty) ⨝ Eats.pizza = Serves.pizza Serves)
  43.  
  44. PizzeriasServeOlder - PizzeriasServeYounger
  45.  
  46.  
  47.  
  48.  
  49. --6.
  50.  
  51. NamesOfMushroom = π Eats.name (σ Eats.pizza = 'mushroom' Eats)
  52.  
  53. ByAge = π Person.age (τ Person.age desc (Person ⨝ Person.name = Eats.name NamesOfMushroom))
  54.  
  55. ByAge
  56.  
  57.  
  58.  
  59. --7.
  60.  
  61. PizzeriasVisitedFemale = π Frequents.pizzeria (Person ⨝ Person.gender = 'female' ∧ Person.name = Frequents.name Frequents)
  62.  
  63. PizzeriasVisitedMale = π Frequents.pizzeria (Person ⨝ Person.gender = 'male' ∧ Person.name = Frequents.name Frequents)
  64.  
  65. OnlyMale = PizzeriasVisitedMale - PizzeriasVisitedFemale
  66.  
  67. OnlyFemale = PizzeriasVisitedFemale - PizzeriasVisitedMale
  68.  
  69. OnlyMale ∪ OnlyFemale
  70.  
  71.  
  72.  
  73.  
  74.  
  75. --8.
  76.  
  77. PizzeriasServePepperoni = σ Serves.pizza = 'pepperoni' Serves
  78.  
  79. Ordered = τ Serves.price PizzeriasServePepperoni
  80.  
  81. MinPrice = γ min(Serves.price) -> minPrice (Ordered)
  82.  
  83. π Serves.pizzeria (Serves ⨝ Serves.price = minPrice MinPrice)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement