Deduction with Contradictions in Datalog

Serge Abiteboul, Daniel Deutch, Victor Vianu. Deduction with Contradictions in Datalog. In Nicole Schweikardt, Vassilis Christophides, Vincent Leroy, editors, Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014. pages 143-154, OpenProceedings.org, 2014. [doi]

Abstract

Abstract is missing.