Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Formal modelling of database dynamic aspects. Internal note IEI-B4-32, 1994.
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.
Subject Database systems
D.3.1 Formal Definitions and Theory
D.3.3 Language Constructs and Features

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional