某火车站订票系统数据库表如下：车次（车号，出发地，目的地，发车日期，开出时刻，剩余座位数，票价）用户（身份证号，姓名，性别，电话）订票（订单号，身份证号，车号，订购日期）实现下列操作：使用关系代数查询“2017-01-01”从“沈阳站”出发终到“大连站”的剩余座位数。