Collegare Database Inconsistenti e Framework di Argomentazione con Attacchi Collettivi
Un nuovo articolo su arXiv (2605.03954) stabilisce un collegamento tra le riparazioni subset-massimali per database inconsistenti e i Framework di Argomentazione basati su SET (SETAF), che estendono i framework di argomentazione di Dung consentendo attacchi collettivi. Lo studio si concentra su vincoli di integrità che includono vincoli di negazione e dipendenze di generazione di tuple local-as-view. Si scopre che le riparazioni subset-massimali sotto vincoli di negazione corrispondono alle estensioni naive, che coincidono anche con le estensioni preferite e stabili nei SETAF. Il risultato principale mostra che le riparazioni sotto le dipendenze di generazione di tuple considerate corrispondono alle estensioni preferite. È necessaria una preelaborazione aggiuntiva per queste dipendenze.
Fatti principali
- L'articolo arXiv 2605.03954 collega le riparazioni di database inconsistenti ai SETAF.
- I SETAF estendono i framework di argomentazione di Dung con attacchi collettivi.
- I vincoli di integrità includono vincoli di negazione e dipendenze di generazione di tuple local-as-view.
- Le riparazioni subset-massimali sotto vincoli di negazione corrispondono alle estensioni naive.
- Le estensioni naive coincidono con le estensioni preferite e stabili nei SETAF.
- Le riparazioni sotto dipendenze di generazione di tuple corrispondono alle estensioni preferite.
- È necessaria una preelaborazione aggiuntiva per le dipendenze di generazione di tuple.
- L'articolo contribuisce al crescente interesse per la connessione tra riparazioni di database e argomentazione.
Entità
Istituzioni
- arXiv