This paper contains a critical review of the most well known integrity constraints checking algorithms that can be found in the literature for logic based (deductive) databases. Some criterion are xed in order to be able to give a sistematic insite into this area; The approaches are then brie y described and compared according to the xed criterion.

Integrity constraints in deductive databases: an overview

Asirelli P;
1996

Abstract

This paper contains a critical review of the most well known integrity constraints checking algorithms that can be found in the literature for logic based (deductive) databases. Some criterion are xed in order to be able to give a sistematic insite into this area; The approaches are then brie y described and compared according to the xed criterion.
1996
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Deductive Databases
Mathematical logic: logic and constraint programming
Mathematical logic: model theory
Mathematical logic: proof theory
Deduction and theorem proving: deduction
Deduction and theorem proving: resolution
General: security
integrity
and protection
File in questo prodotto:
File Dimensione Formato  
prod_408397-doc_143304.pdf

accesso aperto

Descrizione: Integrity constraints in deductive databases: an overview
Dimensione 209.68 kB
Formato Adobe PDF
209.68 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/388619
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact