This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  1990, with author ALL, in the category IASI Research Reports (or show them all):

---

IASI Research Report n. 295  (Previous    Next) 


Atzeni P., Torlone R.

Updating intentional predicates in datalog.

ABSTRACT

In a Datalog database, updates to intensionally defined relations give rise to probelms similar to those related to view updates: it is often difficult to implement them in an unambiguous way by means of updates to base relations. This paper gives two contributions to this problem: i) the formalization of a declarative, model-theoretic semantics of insertions (and, dually, of deletions), with potential, minimal and deterministic results; ii) an operational, proof-theoretic approach, that turns out to be equivalent to the declarative one.