Domänenkalkül < Datenbanken < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 13:49 Di 04.11.2008 | Autor: | DAB268 |
Hallo.
Sind die folgenden Anfragen im Domänenkalkül äquivalent? Ich denk schon.
[mm] 1.\{[n_1]|\exists s_1,k_1([s_1,n_1,k_1]\in Schueler \wedge \exists s_2,n_2,k_2([s_2,n_2,k_2]\in Schueler \wedge n_1=n_2 \wedge s_1 \neq s_2))\}
[/mm]
[mm] 2.\{[n]|\exists s_1,k_1([s_1,n,k_1]\in Schueler \wedge \exists s_2,n,k_2([s_2,n,k_2]\in Schueler \wedge s_1 \neq s_2))\}
[/mm]
MfG
DAB268
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:20 Fr 05.12.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|