如何用SQLProvider实现左连接并筛选关联表无匹配的记录

我完全懂你的需求——要在数据库层面直接过滤出左连接后关联表无匹配的记录，而不是把海量数据拉到内存再筛选，毕竟数据库索引的优势得用上！先帮你理清你提到的两个库的边界，再给你正确的写法：

先搞清楚FSharp.Data.TypeProviders和FSharpComposableQuery的关系 #

其实不用太纠结两者的边界：

• FSharp.Data.TypeProviders是早期用来生成类型化数据库对象的工具（比如让你能直接用db.Student、db.CourseSelection这些强类型的表对象）；
• FSharpComposableQuery就是你写的query { ... }表达式的底层支持，它负责把F#的查询代码翻译成SQL语句在数据库端执行；
• 而你用的SQLProvider已经整合了这两者的能力，所以直接用SQLProvider配合query表达式就够了，不用单独引入两个包。

实现你要的查询（等价于WHERE cs.StudentID IS NULL） #

你只需要在现有的左连接查询基础上，加上一个判断关联表记录是否为null的where条件就行——这个条件会被query表达式翻译成对应的SQL，直接在数据库端执行过滤：

query {
    for student in db.Student do
    leftOuterJoin selection in db.CourseSelection on (student.StudentID = selection.StudentID) into result
    for selection in result.DefaultIfEmpty() do
    // 这里判断selection是否为null，对应SQL里的cs.StudentID IS NULL
    where (selection = null)
    // 如果你只需要学生信息，直接select student就行，也可以按需选择字段
    select student
}

为什么这个会在数据库端执行？ #

query表达式的设计就是可组合且可翻译的，它会把你写的where (selection = null)翻译成SQL的WHERE cs.StudentID IS NULL，和你手动写的SQL完全等价，所有过滤逻辑都在数据库端完成，不会把无关数据拉到F#内存里，完美利用数据库的索引优化。

如果你需要返回学生和空的选课记录（和原SQL的select *对应），也可以把select student改成select (student, selection)，不过通常你只需要无选课的学生信息，所以直接选student更高效。

内容的提问来源于stack exchange，提问作者Chechy Levas