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.
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
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