PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Giannotti F., Pedreschi D., Zaniolo C. Semantics and expressive power of non-deterministic constructs in deductive databases. Internal note CNUCE-B4-00-017, 2000.
 
 
Abstract
(English)
In this paper, we study the semantics and expressive power of the various non deterministic constructs proposed in the past, including various versions of the choice operator and the witness operator
Subject Deductive databases
Logic based languages
Non-determinism
H.2.3 Databases management. Languages
D.1.6 Programming techniques. Logic programming


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