Algebra Relazionale: la divisione

[misterx]

è giusta secondo voi la seguente divisione ?

grazie

X	A	B	Y	B	Z	B
-----------------	---------	---------
	a	1		1		2
	a 	2		3		3
	a	3
	b	1
	b	2
	d	3
	c	1
	c	2
	c	3
	c	4

calcolare:
X/Y e poi X/Z


risultati:
---------
X/Y =	A
	C
---------
X/Z = 	A
	C

[mad_hhatter]

dipende da come è definita la divisione in algebra relazionale... se è definita in modo che vengano estratte dal "dividendo" tutte e sole le tuple che contengono tutti i valori specificati dal "divisore" in corrispondenza di un dato sottoinsieme di attributi, allora mi pare di sì

[misterx]

Originariamente inviato da mad_hhatter

dipende da come è definita la divisione in algebra relazionale... se è definita in modo che vengano estratte dal "dividendo" tutte e sole le tuple che contengono tutti i valori specificati dal "divisore" in corrispondenza di un dato sottoinsieme di attributi, allora mi pare di sì

è quello che ho ricavato io da un altro esempio già calcolato.
Ad ogni buon conto, è quello che hai detto.

[misterx]

al link la definizione che porta al medesimo risultato al quale sono arrivato io, almeno credo

http://www.hwupgrade.it/forum/attach...1&d=1181419740

[mad_hhatter]

sì, è esattamente quello che dicevamo... bella la definizione ma poco chiara... secondo me è meno ambiguo scrivere il prodotto cartesiano con le seguenti parentesi: ...(P_R-S(R) x S)...

cioè prima si fa la proiezione di R, poi si fa il prodotto cartesiano...
sarebbe errato fare prima il prodotto RXS e poi prendere la proiezione...

[misterx]

Originariamente inviato da mad_hhatter

sì, è esattamente quello che dicevamo... bella la definizione ma poco chiara... secondo me è meno ambiguo scrivere il prodotto cartesiano con le seguenti parentesi: ...(P_R-S(R) x S)...

cioè prima si fa la proiezione di R, poi si fa il prodotto cartesiano...
sarebbe errato fare prima il prodotto RXS e poi prendere la proiezione...

come te la cavi nella traduzione di schemi ER in relazionale ?

[mad_hhatter]

Originariamente inviato da misterx

come te la cavi nella traduzione di schemi ER in relazionale ?

me la cavicchio... perchè?

PS: scusa il ritardo non avevo più seguito gli aggiornamenti di questa discussione