在Pyspark中从变体数据类型的SQL Server中提取数据时。我收到SQLServerException:“不支持Variant数据类型”
请建议任何解决方法。
答案 0 :(得分:2)
在获取和工作时将列数据类型转换为Lemma bar_refl_all : forall n n' m m',
bar (n, m) (n', m') -> (n, m) = (n', m').
Proof.
intros. destruct H. reflexivity.
Qed.
varchar