In thìs paper we dea1 with stratìfied logic-based databases and we present an iniepreiatioe meihod to answer database queries se1ectivel with respect to integrity constraints.
Correctness and completeness of the Srp-Ic refutation procedure
Asirelli P;
1995
Abstract
In thìs paper we dea1 with stratìfied logic-based databases and we present an iniepreiatioe meihod to answer database queries se1ectivel with respect to integrity constraints.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408978-doc_143667.pdf
accesso aperto
Descrizione: Correctness and completeness of the Srp-Ic refutation procedure
Dimensione
1.27 MB
Formato
Adobe PDF
|
1.27 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
