Basi di dati - Completezza assiomi di Armstrong

[freddofede]

Ho capito la dimostrazione della completezza, quello che non mi torna è il fatto che, essendo fatta con l'utilizzo di un'istanza ad hoc che usa solo due tuple, non ci sia perdita di generalità... cioè, come si dimostra che per ogni istanza che soddisfi le dipendenze funzionali, si possano ricavare i risultati ottenuti per la dimostrazione di completezza?

[invocazione]Barlettaa!!![/invocazione]

[_luca.barletta]

aia lore, mi sa che questa volta dovrai invocare altre forze
ciò non fa parte delle mie conoscenze (ho evitato basi di dati )

[freddofede]

Ah Luca, non ti preoccupare, una macchia non scalfisce l'aura eroica

E poi hai risposto anche stavolta subito... mi dovrò ricredere sull'esoterismo ?

[_luca.barletta]

"a voler dir lo vero" qualcosa di informatica teorica l'ho fatta, ma moooolti anni fa; nonostante ciò non credo di aver mai studiato gli assiomi di Armstrong

[freddofede]

Infatti penso che riguardino prettamente l'ottimizzazione di database, e quindi siamo più sull'algebra relazionale.

[Amane05]

http://amazing-videos.info/