Deduction in the Presence of Distribution and Contradictions

Serge Abiteboul 1, 2 Meghyn Bienvenu 3 Daniel Deutch 1, 4
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 IASI
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11
Abstract : We study deduction, captured by datalog-style rules, in the presence of contradictions, captured by functional depen- dency (FD) violation. We propose a simple non-deterministic semantics for datalog with FDs based on inferring facts one at a time, never violating the FDs. We present a novel proof theory for this semantics. We also discuss a set-at-a- time semantics, where at each iteration, all facts that can be inferred are added to the database, and then choices are made between contradicting facts. We then build upon a distributed datalog idiom, namely Webdamlog, to define a semantics for the distributed setting. Observe that contra- dictions naturally arise in such a setting, with different peers having conflicting information or opinions. We study differ- ent semantics for this setting.
Type de document :
Communication dans un congrès
WebDB, May 2012, Scottsdale, United States. 2012
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00809300
Contributeur : Serge Abiteboul <>
Soumis le : lundi 8 avril 2013 - 20:24:13
Dernière modification le : jeudi 5 avril 2018 - 12:30:23
Document(s) archivé(s) le : lundi 3 avril 2017 - 02:44:46

Fichier

p5.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00809300, version 1

Collections

Citation

Serge Abiteboul, Meghyn Bienvenu, Daniel Deutch. Deduction in the Presence of Distribution and Contradictions. WebDB, May 2012, Scottsdale, United States. 2012. 〈hal-00809300〉

Partager

Métriques

Consultations de la notice

458

Téléchargements de fichiers

97