causal_responsibility (549B)
1 # Causal responsibility 2 3 For a [Boolean_query] Q and [fact] F in an input [relational_database] D, we say that a tuple has "causal responsibility k" if D satisfies Q but there is a set Γ of at most k facts such that D\Γ satisfies Q but D\(Γ cup {F}) does not satisfy Q 4 - i.e., removing Γ makes F "counterfactual", i.e., it becomes critical for the query to be true 5 6 - [meliou2010complexity]: [dichotomy] on [SJFCQs] in [set_semantics] 7 - [makhija2023unified]: [dichotomy] on [SJFCQs] in [bag_semantics] 8 - goes via [MILP] 9 10 Up: [database_theory]