|
|
|
|
|
|
by hirple
2011 days ago
|
|
|
Not exactly this, but I've had some success using logic programming (minikanren) to statically assert certain facts about dataframes in spark. E.g. "if Row_a is filtered to Row_b, and Row_a is not null, Row_b is also not null". |
|
|