First page Back Continue Last page Graphics
Beer example 1
S.b( S.b ¹ L.b (V.d ¹ L.d Ú V.k ¹ S.k)(V L S))
The V L S construct takes all possible combinations of visits, likes and serves tuples.
The first condition says that someone likes another beer than the served beer.
The second condition is best translated into V.d = L.d Þ V.k ¹ S.k which means that the person liking some other beer goes to a different bar (than the one serving that beer).
Conclusion: List the beers served in a bar such that there is someone who likes some other beer and who visits a different bar.
Notes:
Deze query komt van Chantal Beerendonck (foute uitwerking voor bier vraag n)