We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic and nondeterministic reasoning, which we refer to as Datalog++. We study its semantics, and show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the interpretation of Datalog++ programs, and supporting their efficient execution. On this basis, the design of appropriate optimization techniques for Datalog++ is also discussed.
On the effective semantics of temporal, non-monotic, non-deterministic logic languages
Giannotti F;Manco G;Nanni M;Pedreschi D
1998
Abstract
We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic and nondeterministic reasoning, which we refer to as Datalog++. We study its semantics, and show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the interpretation of Datalog++ programs, and supporting their efficient execution. On this basis, the design of appropriate optimization techniques for Datalog++ is also discussed.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_447089-doc_161008.pdf
non disponibili
Descrizione: On the effective semantics of temporal, non-monotic, non-deterministic logic languages
Tipologia:
Versione Editoriale (PDF)
Dimensione
298.65 kB
Formato
Adobe PDF
|
298.65 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
