Deduction in the Presence of Distribution and Contradictions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Deduction in the Presence of Distribution and Contradictions


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.
Fichier principal
Vignette du fichier
p5.pdf (114.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00809300 , version 1 (08-04-2013)


  • 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⟩
259 View
64 Download


Gmail Facebook X LinkedIn More