next up previous contents index
Next: Dipendenze funzionali semplici Up: Un approccio al versioning Previous: Un approccio al versioning   Indice   Indice analitico

Rappresentazione formale degli schemi di data warehousing

Prima di procedere con la rappresentazione formale della soluzione da noi proposta, è necessario richiamare la notazione ed il vocabolario utilizzati. D'ora in avanti utilizzeremo la notazione standard introdotta in [Mai83], dove le lettere maiuscole a partire dall'inizio dell'alfabeto denotano singoli attributi, mentre quelle a partire dalla fine denotano insiemi. $ '\equiv'$ denota l'equivalenza di insiemi di dipendenze funzionali ($ FD$) ed $ F^+$ è la chiusura delle $ FD$ in $ F$.



Subsections

Alessandro Ronchi 2005-07-16