在secondo中,查询的结果必须是已知的数据类型,不能是数据流。确实存在多个运算符来收集流并将其转换为特定的数据类型。操作符Consume获取流并创建一个新关系(参见图5)。相反,运算符count接受流并生成一个整数,结果是流中的元素数。feed操作符读取数据,为参数创建一个元组流。


在secondo中,查询的结果必须是已知的数据类型,不能是数据流。确实存在多个运算符来收集流并将其转换为特定的数据类型。操作符Consume获取流并创建一个新关系(参见图5)。相反,运算符count接受流并生成一个整数,结果是流中的元素数。feed操作符读取数据,为参数创建一个元组流。