Database 1
Data Manipulation

Prof. dr. Paul M.E. De Bra

Dept. of Computer Science

Eindhoven Univ. of Technology

Beer question n (tupel calculus)

Give all beers that are served in bars where none of the visitors like any other beer (than the ones served in that bar).
Answer from 2M400 website:
Alternative formulation (through standard conversion):

This answer is wrong:
Suppose there are 2 beers a, b, 1 bar k, 2 drinkers x, y;
everyone serves/visits/likes everything
Then the correct answer should result in {a, b}.
The tupel calculus expression:
does not contain a, because every visitor of k also likes b.
The answer should have been:

Common tupel calculus mistakes

Explain what is wrong in the following queries:

Vertaal L&V quantor

door

en niet door

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

In this colstruction we will look at common errors in tupel calculus. We use as examples attempts at answers to beer question 14 (n).

1: geen afhankelijkheid kroeg

2: niet safe!

3: conjunctie in al-quantor moet implicatie zijn.

4. scope fout

5. onzinnig: als er meer dan 1 bier in de database is is het antwoord altijd leeg

6. conjunctie moet implicatie zijn

7. weer conjunctie in plaats van implicatie, en k[b] kan niet want de variabele k is niet geintroduceerd.

8. dit is geen tupel calculus syntax

9: afh. kroeg??

10: scope; niet safe bij verandering (al-quantor voorop)

11: bijna goed! moet aan het eind nog r[b]=l[b] zijn want v heeft geen b attribuut

12: niet serieus

13: conjunctie in al-quantor; 1 bezoeker die alle geschonken bieren lust (3x)

14: antwoord website, dus fout

15: conjunctie in al-quantor; syntax, niet safe, antwoord bevat d,k maar geen bier

16: niet safe; stel P lust bier dat nergens wordt geschonkenwordt

17: conjunctie in al-quantor, bij lust geen verband met drinker

Databases 1, Colstructie 9

Bloemlezing Tupel Calculus

Paul De Bra

2003-04-01T22:52:54

Paul De Bra