Example: portal

• Q1: gismo vendors

  { V | ? P sell(V,gismo,P) }
  
  Q1 = v1, v2, v3, v4, v5

• Q2: price for each vendor

  { V, P | sell(V,gismo,P) }
  

• Q3: cheap gismo vendors

  { V | ? P (sell(V,gismo,P) and Pៀ) }
  

Q1 Q2

comp comp price

v1 v1 109

v2 v2 X

v3 v3 99

v4 v4 89

v5 v5 Y

Q3

comp price cond

v2 X Xៀ

v5 Y Yៀ

Previous slide

Next slide

Back to first slide

View graphic version