|
Voodoo |
.grande:maestro.
Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline
Edit | Report | IP: Logged |
è un'operazione derivata non commutativa,introdotta per rispondere ad una famiglia di queries che si verficano comunemente. E' un'operazione binaria su R(X) e S(Y) tali che lo schema di R include quello di S e lo schema di S non sia nullo. Denotiamo con Z la parte dello schema di R che non è in S (X-Y). Possiamo vedere una tupla come divisa in due parti,una che contiene gli attributi di R che non stanno anche in S (z-tupla,attributi di Z per l'appunto) e la parte che invece hanno in comune (y-tupla). La divisione produce una relazione tale che è costituita dalle z-tuple tali che per ogni y-tupla di S,la tupla a1...an è in R (dove una tupla di R ha la forma A1...Az,Az+1...An.).
Vediamo che lo schema di S è un sottoinsieme di quello di R poiché C e D sono attributi condivisi da entrambi ed R ha molti più attributi. Inoltre verifichiamo immediatamente che lo schema di S non è nullo. Definiamo Z come la differenza degli schemi R-S,quindi Z={A,B}. Il quoziente è una relazione che è definita sullo schema Z (avrà gli attributi di R ma non quelli di S) con le z-tuple di R tali che per ogni y-tupla di S,la combinazione A1..An che ottengo è una tupla di R. Ecco i passaggi:
- a1-b1 di R lo posso predere se a1-b-c1-d1 e a1-b1-c2-d2 (combinazione con tuple di S) sono tuple di R; poiché ciò è verificato prendo la z-tupla a1-b1;
- a2-b2 di R la posso prendere se a2-b2-c1-d1 e a2-b2-c2-d2 appartengono a R. Siccome ciò è verificato solo per la seconda combinazione (e la proprietà della divisione ci impone che valga per ogni combinazione) NON posso prendere la z-tupla a2-b2;
- a3-b3 verifica le stesse condizioni di a1-b1 per cui posso prederla;
- nell'ultimo caso abbiamo già preso a1-b1 per cui è irrilevante;
__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS
|