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.
Integrity constraints, redundancy and consistency in logic Data Bases
Asirelli P;
1984
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420765-doc_149238.pdf
accesso aperto
Descrizione: Integrity constraints, redundancy and consistency in logic Data Bases
Dimensione
1.97 MB
Formato
Adobe PDF
|
1.97 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
