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