Elet-Designer: uno strumento intelligente orientato agli ... - DBGroup

ii INDICE
Classi che rappresentano gli oggetti . . . . . . . 49
Le funzioni del Driver . . . . . . . . . . . . . . . 49
5.5 Limiti di Object-World . . . . . . . . . . . . . . . . . . . . . . 52
6 L'ambiente ODB-Tools preesistente 55
6.1 Architettura di ODB-Tools . . . . . . . . . . . . . . . . . . . . 55
6.2 Il formalismo OCDL . . . . . . . . . . . . . . . . . . . . . . . 56
6.2.1 Schema e Istanza del Database . . . . . . . . . . . . . 56
6.2.2 Sussunzione ed Espansione Semantica di un tipo . . . . 59
6.3 Pregi e limiti espressivi di ODB-Tools . . . . . . . . . . . . . . 60
Pregi . . . . . . . . . . . . . . . . . . . . . . . . 60
Limiti espressivi di OCDL . . . . . . . . . . . . 62
7 Progetto di estensioni di ODB-Tools 65
7.1 Introduzione delle operazioni . . . . . . . . . . . . . . . . . . . 66
Operazioni all'interno delle interface delle classi 66
Operazioni all'interno delle rule . . . . . . . . . 68
7.2 Estensione di OCDL con operazioni . . . . . . . . . . . . . . . 69
7.2.1 Introduzione di uno schema di operazioni . . . . . . . . 69
7.2.2 Introduzione di un identi catore di operazione . . . . . 72
7.3 Principio di covarianza e controvarianza . . . . . . . . . . . . . 76
7.3.1 Estensione del controllo nel modello OCDL . . . . . . . 78
7.4 Il problema del controllo di consistenza di operazioni . . . . . 79
8 Realizzazione di estensioni di ODB-Tools 83
8.1 ODL Trasl : Il traduttore . . . . . . . . . . . . . . . . . . . . 83
8.1.1 Struttura del programma . . . . . . . . . . . . . . . . . 83
8.1.2 Estensione della grammatica di ODL . . . . . . . . . . 84
Osservazioni sulla grammatica . . . . . . . . . . 86
8.1.3 Le strutture dati . . . . . . . . . . . . . . . . . . . . . 86
Rappresentazione di un'interface . . . . . . . . . 86
Rappresentazione delle proprieta' . . . . . . . . 87
Rappresentazione delle operazioni . . . . . . . . 88
Rappresentazione delle rule . . . . . . . . . . . . 90
8.1.4 Descrizione delle funzioni . . . . . . . . . . . . . . . . . 93
Funzioni di gestione delle rule . . . . . . . . . . 93
Funzioni di gestione delle operazioni . . . . . . . 95