Logres is a new database programming language which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of database queries and updates [C + 90]. In Logres, we propose a solution to deductive databases update problems which allows to keep declarativity within each module, while moving control outside modules. We present theorems indicating sufficient conditions for ensuring the consistency of a Logres database state and introduce a new, non-deterministic semantics for Logres programs.
CONSISTENCY AND NONDETERMINISM IN A DATABASE PROGRAMMING LANGUAGE
CACACE F;
1991-01-01
Abstract
Logres is a new database programming language which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of database queries and updates [C + 90]. In Logres, we propose a solution to deductive databases update problems which allows to keep declarativity within each module, while moving control outside modules. We present theorems indicating sufficient conditions for ensuring the consistency of a Logres database state and introduce a new, non-deterministic semantics for Logres programs.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.
