Skip to Main content Skip to Navigation
New interface
Conference papers

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], Inria Saclay - Ile de France
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Serge Abiteboul Connect in order to contact the contributor
Submitted on : Monday, April 8, 2013 - 8:24:13 PM
Last modification on : Tuesday, October 25, 2022 - 4:24:01 PM
Long-term archiving on: : Monday, April 3, 2017 - 2:44:46 AM


Files produced by the author(s)


  • HAL Id : hal-00809300, version 1


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



Record views


Files downloads