The paper discusses problems related to integrating a graphic standard and a database management system in a logic programming framework. The ultimate aim of the integration is to develop a system which allows the user to work with a completely graphical environment, while taking advantage of the facilities of logic and databases. This means to offer the ability to operate with graphic objects and to generate other objects by deduction from those already existing in the database, as well as the ability to prove properties of objects in the considered environment. This integration proposal represents a generalization of a system which is at present under development, and which is based on the prototype logic dabases management system EDBLOG integrated with PHOGS, a subset of the Phigs Graphic Standard.
A proposal for a graphic-oriented logic database system
Asirelli P;
1987
Abstract
The paper discusses problems related to integrating a graphic standard and a database management system in a logic programming framework. The ultimate aim of the integration is to develop a system which allows the user to work with a completely graphical environment, while taking advantage of the facilities of logic and databases. This means to offer the ability to operate with graphic objects and to generate other objects by deduction from those already existing in the database, as well as the ability to prove properties of objects in the considered environment. This integration proposal represents a generalization of a system which is at present under development, and which is based on the prototype logic dabases management system EDBLOG integrated with PHOGS, a subset of the Phigs Graphic Standard.File | Dimensione | Formato | |
---|---|---|---|
prod_419688-doc_148422.pdf
solo utenti autorizzati
Descrizione: A proposal for a graphic-oriented logic database system
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.01 MB
Formato
Adobe PDF
|
1.01 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.