PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Martelli M. Integrity constraints, redundancy and consistency in logic Data Bases. Internal note CNUCE-B4-84-024, 1984.
 
 
Abstract
(English)
In this paper we consider logic databases as Iogic programs and suggest how 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
Subject Database


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