Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Martelli M. Integrity constraints, redundancy and consistency in logic data bases. Apparsa come nota interna C84-14 CNR-CNUCE, Pisa 1984. Internal note IEI-B84-14, 1984.
In this paper we consider logic databases as logic programs and suggest hot the problem of integrity constraints checking could be handled. Suggestions are also made about redundancy and consistency checking for evolving logic databases. A methodology for handling logic databases is presented.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional