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

Semantics and expressive power of non-deterministic constructs in deductive databases

Giannotti F;Pedreschi D;
2000

Abstract

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
2000
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Deductive databases
Logic based languages
Non-determinism
Databases management. Languages
Programming techniques. Logic programming
File in questo prodotto:
File Dimensione Formato  
prod_407240-doc_142651.pdf

accesso aperto

Descrizione: Semantics and expressive power of non-deterministic constructs in deductive databases
Dimensione 1.69 MB
Formato Adobe PDF
1.69 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/362943
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact