Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems.

Fausto Barbero Fan Yang

Published in: AiML (2020)

Keyphrases

expressive power
query language
relational algebra
data complexity
computational properties
transitive closure
first order logic
causal models
database
theorem prover
relational data model
relational calculus
recursive queries