某火车站订票系统数据库表如下： 车次(车号，出发地，目的地，发车

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