In this paper the problem of extending the logic database language Datalog with primitives to support array definitions and manipulations is addressed. The syntax and the semantics of this language, called DatalogA, are given by showing that model theoretic properties of ordinary Datalog extend to DatalogA . DatalogA fixpoint semantics and its implementation are also studied and presented. Sufficient conditions assuring program evaluation convergence when manipulating real-valued arrays are finally discussed.

Extending Datalog with Arrays

GRECO, Sergio;PALOPOLI, Luigi;
1995-01-01

Abstract

In this paper the problem of extending the logic database language Datalog with primitives to support array definitions and manipulations is addressed. The syntax and the semantics of this language, called DatalogA, are given by showing that model theoretic properties of ordinary Datalog extend to DatalogA . DatalogA fixpoint semantics and its implementation are also studied and presented. Sufficient conditions assuring program evaluation convergence when manipulating real-valued arrays are finally discussed.
1995
Logic Programming; Semantics of logic programs; Complex terms; Arrays
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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.11770/143426
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 3
social impact