PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Di Grande D., Inverardi P., Nicodemi F. Graphics by a logic database management system. In: Journal of Visual Languages and Computing, vol. 5 (4) pp. 365 - 388. Academic Press, 1994.
 
 
Abstract
(English)
The GEDBLOG system allows applications which manipulate graphic objects to be developed following a declarative definitional style. GEDBLOG supports the consistent design and prototyping of graphic applications through an incremental development and makes it possible to guarantee automatically that the application meets its specifications. Typical GEDBLOG applications have graphics as their characterizing element and can be found, for example, in the CAD/CAM, visual languages or graphical interface areas. The system is obtained by integrating a graphical data language in an existing logic database management system, EDBLOG, so that graphic and non-graphic information is handled in a uniform declarative way
Subject Logic database
Application of DBMS
D.2.4 Software/Program Verification
F.4.1 Mathematical logic


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