The Transaction Language, a formal language for the specification of database dynamic aspects which integrates features from both the formal and the conceptual programming languages is presented. The notational suitability of the language and the support it offers for formal treatment are discussed.
Formal modelling of database dynamic aspects
Castelli D;Locuratolo E
1994
Abstract
The Transaction Language, a formal language for the specification of database dynamic aspects which integrates features from both the formal and the conceptual programming languages is presented. The notational suitability of the language and the support it offers for formal treatment are discussed.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408872-doc_143614.pdf
solo utenti autorizzati
Descrizione: Formal modelling of database dynamic aspects
Dimensione
1.7 MB
Formato
Adobe PDF
|
1.7 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
