PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Formal modelling of database dynamic aspects. Internal note IEI-B4-32, 1994.
 
 
Abstract
(English)
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
Language
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