使用网络蜘蛛（spider）对广域网的信息进行采集，提取关键词建立索引，主要通过（）进行检索。以上描述的搜索引擎属于（）。