mkyl/carl-lib

Causal Inference on Relational Data

carl-lib's Issues

Handle Simplest Query with Confounding

Be able to handle a query of the form Y[x] <- T[x]? for a ground causal model including only Y, T, and Q nodes, where Q is a confounder.

Status:

• language
• grounding
• embedding
• detection
• unit-table
• estimation

Implement custom WHERE clause in queries

This will allow for far more interesting grounded causal models.

use enums for `table_info` columns in load.rkt

See https://docs.racket-lang.org/data/Enumerations.html

Handle Null Query (i.e. Stubs)

Create stubs for the following libraries.

Status:

• language
• grounding
• embedding
• detection
• unit-table
• estimation

Allow for 4+ logical variables in predicate

Need to replace cond in grounding process with a macro, so that predicates with more than 3 logical variables can be handled.

Handle Trivial Query

Be able to handle a query of the form Y[x] <- T[x]? for a ground causal model including only Y and T nodes.

Status:

• language
• grounding
• embedding
• detection
• unit-table
• estimation

testable implications

every causal model makes testable implications w.r.t. the conditional independences in the data. We should check if these independences hold and warn the user otherwise.

enable support for more than 1 query

currently CaRL only computes the estimate for the first query, ignoring the others -- should be a straightforward fix.

issue user warning when no adjustment set found

no adjustment set corresponds to getting #f from detect.

Add a few interesting embeddings

Add a few embeddings, including:

• mean
• median
• moment summarization
• padding

Support GROUP-BY in Causal Queries

Allow for queries that look like this:

Acceptance[P] <- Prestige[A] WHERE Author(P, A), Published(C, P)
    GROUP BY Conference_Blinding[C]?

Where the output is something like this:

'Single': 0.25
'Double': 0.02

Make internal structs opaque

The structs in expander.rkt are declared #:transparent for ease of debugging. Once carl-lib is usable by end-users, this should be removed.

Support column listing outside SQLite

With the merging of #11, grounding will not work on DB's outside SQLite. This is an easy fix--just have to get around to doing it.

Support cartesian product causal rules

Need to omit the WHERE clause if no conditions need to be checked. Occurs during creation of SQL query in ground/load.rkt.