The Causality/Repair Connection in Databases: Causality-Programs

TL;DR

This paper explores how answer-set programs can be used to identify causes for query answers in databases by modeling repairs as a basis for reasoning about causality.

Contribution

It introduces a novel approach linking database repairs with causality analysis using answer-set programming.

Findings

Demonstrates the effectiveness of causality-programs in identifying causes.

Provides a formal framework connecting repairs and causality.

Shows potential for improved query explanation methods.

Abstract

In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.