原文链接# Lucene学习总结之一:全文检索的基本原理,这是我遇见最好的入门,近10年前的文章如今读来依然让人耳目一新。这里做一些摘要并收藏
Lucene是一个高效的,基于Java的全文检索库。
一、什么是全文检索?
我们生活中的数据总体分为两种:
- 结构化数据:指具有固定格式或有限长度的数据,如数据库,元数据等
- 非结构化数据:指不定长或无固定格式的数据,如邮件,word文档等
- 还有人提到第三种,半结构化数据:如XML,HTML等,根据需要可按结构化数据来处理,也可抽取出纯文本按非结构化数据来处理
非结构化数据又叫全文数据
类似的,按照数据的分类,搜索也分为两种:
- 对结构化数据的搜索:如对数据库的搜索,用SQL语句。再如对元数据的搜索,如利用windows搜索对文件名,类型,修改时间进行搜索等。
- 对非结构化数据的搜索:如利用windows的搜索也可以搜索文件内容,Linux下的grep命令,再如用Google和百度可以搜索大量内容数据。
对非结构化数据即全文数据的搜索主要有两种方法:
一种是顺序扫描法(Serial Scanning):所谓顺序扫描,比如要找内容包含某一个字符串的文件,就是一个文档一个文档的看,对于每个文档,从头看到尾,如果此文档包含此字符串,则此文档是我们要找的文件,接着看下一个文件直至看完所有文件。如利用windows的搜索来搜索文件内容或者Linux的grep命令,都是使用这种方式。显而易见,这种方式相当的慢。大家可能觉得这种方式比较原始,但对于小数据量的文件,这种方法还是最简单最直接的。但对于大量文件,这种方法就很慢了。
可能有人会说,对非结构化数据顺序扫描很慢,对结构化数据的搜索却相对较快(由于结构化数据有一定的结构,可以采用一定的搜索算法加快速度),那么把我们的非结构化数据想办法弄得有一定结构不就行了吗?(在我的第一家公司,我就做了这样的事)
这种想法很天然,却构成了全文检索的基本思路,即将非结构化数据中的一部分信息提取出来,重新组织,使其变得有一定结构,然后对此有一定结构的数据进行搜索,从而达到搜索相对较快的目的。
这部分从非结构化数据中提取出的而后重新组织的信息,我们称之为索引。
这种说法比较抽象。举个例子,字典。字典的拼音表和不部首表就相当于字典的索引,对每一个字的解释是非结构化的,如果字典没有音节表和不受检字表,在茫茫辞海中查找一个字就只能顺序扫描。然而字的某些信息可以提取出来做进行结构化处理,比如读音,就比较结构化,分声母和韵母,分别只有几种可以一一列举,于是将读音拿出来按照一定的顺序排列,每一项读音都指向此字的详细解释页数。我们搜索时按照结构化的拼音搜到读音,然后按其指向的页数,便可找到我们的非结构化数据——即对字的解释。
这种先建立索引,再对索引进行搜索的过程就叫全文检索(Full-text Search)。
下面这幅图来自《Lucene in action》,其不仅描述了Lucene的检索过程,而是描述了全文检索的一般过程。
全文检索大体分两个过程,索引创建(Indexing)和搜索索引(Search)
- 索引创建:将现实世界中所有的结构化和非结构化数据提取信息,创建索引的过程。
- 搜索索引:就是得到用户查询请求,搜索创建的索引,然后返回结果的过程。
于是全文检索就存在三个重要问题:
1. 索引里面究竟存些什么?(Index)
2. 如何创建索引?(Indexing)
3. 如何对索引进行搜索?(Search)
下面我们顺序对每个问题进行研究。
二、索引里面究竟存写什么
首先我们来看为什么顺序扫描的速度慢:
其实是由于我们想要搜索的信息和非结构化数据中所存储的信息不一致造成的。
非结构化数据中所存储的信息是每个文件包含哪些字符串,是从文件到字符串的映射;已知文件,欲求字符串相对容易。而我们想搜索的信息是哪些文件包含此字符串,是从字符串到文件的映射;已知字符串,欲求文件,两者恰恰相反。如果索引总能够保存从字符串到文件的映射,则会大大提高搜索速度。
由于从字符串到文件的映射是从文件到字符串映射的反向过程,于是保存这种信息的索引成为反向索引、又叫做倒排索引(Inverted index)。
反向索引所保存的信息一般如下:
假设我的文档集合里面有100篇文档,为了方便表示,我们将文档编号从1到100,得到下面的结构
左边保存的是一系列字符串,称为词典。
每个字符串都指向包含此字符串的的文档(Document)链表,此文档链表成为倒排表(Posting List)。
有了索引,便使保存的信息和要搜索的信息一致,可以大大加快搜索的速度。
比如说,我们要寻找既包含字符串"lucene"又包含字符串"solr"的文档,我们只需要以下几步:
- 取出包含字符串"lucene"的文档链表
- 取出包含字符串"solr"的文档链表
- 通过合并链表,找出既包含"lucene"又包含"solr"的文件。
看到这个地方,可能有人会说,全文索引的确加快了搜索的速度,但是多了索引的过程,两者加起来不一定比顺序扫描快多少。的确,加上索引的过程,全文检索不一定比顺序扫描快,尤其是在数据量小的时候更是如此。而对于一个很大量的数据创建索引也是一个很慢的过程。
然而两者还是有区别的,顺序扫描时每次都要扫描,而创建索引的过程仅需一次,一劳永逸。以后的每次搜索,创建索引的过程不必再经过,仅仅搜索创建好的索引就可以了。
这也是全文搜索相对与顺序扫描的优势之一:一次索引,多次使用。
三、如何创建索引
全文检索的检索创建过程一般有一下几步:
第一步:一些要索引的原文档(Document)。
为了方便说明索引的创建过程,这里特意用两个文件为例:
文件一:Students should be allowed to go out with their friends, but not allowed to drink beer.
文件二:My friend Jerry went to school to see his students but found them drunk which is not allowed.
第二步:将原文档传给分词组件(Tokenizer)。
分词组件(Tokenizer)会做以下几件事情(此过程称为Tokenize):
1. 将文档分成一个一个单独的单词。
2. 去除标点符号。
3. 去除停词(Stop word)。
所谓停词(Stop word)就是一种语言中最普通的一些词,由于没有特别的意义,因而大多数情况下不能成为搜索的关键词,创建索引时,这种词会被去掉以减少索引的大小。
英语中停词(Stop word)如:"the","a","this"等。
对于每一种语言的分词组件(tokenizer),都有一个停词(Stop word)集合。
经过分词(Tokenizer)后得到的结果称为词元(Token)。
在我们的例子中,便得到以下词元(Token):
"Students","allowed","go","their","friends","allowed","drink","beer","My","friend","Jerry","went","school","see","his","students","found","them","drunk","allowed"。
第三步:将得到的词元(Token)传给语言处理组件(Linguistic Processor)。
语言处理组件(Linguistic Processor)主要是对得到的词元(Token)做一些语言相关的处理。
对于英语, 语言处理组件(Linguistic Processer)一般做到以下几点:
1. 变为小写(Lowercase)
2. 将单词缩减为词根形式,如"cars"到"car"等。这种操作称为:stemming。
3. 将单词转变为词根形式,如"drove"到"drive"等。这种操作成为:lemmatization。
Stemming和Lemmatization的异同:
-
相同之处: Stemming和Lemmzation都要使词汇成为词根形式。
-
两者的方式不同:
- Stemming采用的是"缩减"的方式:"cars"到"car","driving"到"drive"。
- Lemmatization采用的时"转变"的方式:"drove"到"drive","driving"到"drive"
-
两者的算法不同:
- Stemming主要是采取某种固定的算法来做这种缩减,如去除“s”,去除“ing”加“e”,将“ational”变为“ate”,将“tional”变为“tion”。
- Lemmatization主要是采用保存某种字典的方式做这种转变。比如字典中有“driving”到“drive”,“drove”到“drive”,“am, is, are”到“be”的映射,做转变时,只要查字典就可以了。
-
Stemming和Lemmatization不是互斥关系,是有交集的,有的词利用这两种方式都能达到相同的转换
语言处理组件(linguistic processor)的结果称为词(Term)。
在我们的例子中,经过语言处理,得到的词(Term)如下:
"student","allow","go","their","friend","allow","drink","beer","my","friend","jerry","go","school","see","his","student","find","them","drink","allow"。
也正是因为有语言处理的步骤,才能使搜索drove,而drive也能被搜索出来。
第四步:将得到的词(Term)传给索引组件(Indexer)。
索引组件(Indexer)主要做以下几件事情:
1. 利用得到的词创建一个字典。
在我们的例子中,字典如下:
Term | Document ID |
---|---|
student | 1 |
allow | 1 |
go | 1 |
their | 1 |
friend | 1 |
allow | 1 |
drink | 1 |
beer | 1 |
my | 2 |
friend | 2 |
jerry | 2 |
go | 2 |
school | 2 |
see | 2 |
his | 2 |
student | 2 |
find | 2 |
them | 2 |
drink | 2 |
allow | 2 |
2. 对字典按字母顺序进行排序
Term | Document ID |
---|---|
allow | 1 |
allow | 1 |
allow | 2 |
beer | 1 |
drink | 1 |
drink | 2 |
find | 2 |
friend | 1 |
friend | 2 |
go | 1 |
go | 2 |
his | 2 |
jerry | 2 |
my | 2 |
school | 2 |
see | 2 |
student | 1 |
student | 2 |
their | 1 |
them | 2 |
3. 合并相同的词(Term)成文文档倒排链表(Posting List)
在此表中,有几个定义:
- Document Frequency 即文档频次,表示总共有多少文件包含此词(Term)。
- Frequency 即词频率,表示此文件中包含了几个此词(Term)。
所以对词(Term)"allow"来讲,总共有两篇文档包含此词(Term),从而词(Term)后面的文档链表总共有两个节点,第一个节点表示包含了"allow"的第一篇文档,即1号文档,此文档中,"allow"出现了2次;第二项表示包含"allow"的第二篇文档,即2号文档,此文档中,"allow"出现了1次。
四、如何对索引进行搜索
到这里似乎我们可以宣布"我们找到想要的文档了"。
然而事情并没有结束,找到了仅仅是全文检索的一个方面,不是吗?如果仅仅只有一个或十个文档包含我们查询的字符串,我们的确找到了。可是如果结果有一千万个,甚至成千上万个呢?哪个是您最想要的文件呢?
举个例子,打开Google,比如你想在微软找份工作,于是输入" Microsoft job",你却发现总共有12,600,000个结果返回。好大的数字啊,突然发现找不到是一个问题,找到的太多也是一个问题。在如此多的结果中,如何将最相关的放在最前面呢?
Search "Microsoft job" on Google当然Google做的很不错,你一下就找到了"job at Microsoft"。想象一下,如果前几个全部是"Microsoft does a good job at software industry..."将是多么可怕的事情。
如何像Google一样,在成千上万的搜索结果中,找到和查询语句最相关的呢?
如何判断搜索出的文档和查询语句的相关性呢?
这要回到我们的第三个问题:如何对索引进行搜索?
搜索主要分为以下几步:
第一步:用户输入查询语句。
查询语句同我们普通的语言一样,也是有一定语法的。
不同的查询语句有不同的语法,如SQL语句就有一定的语法。
查询语句的语法根据全文检索系统的实现不同而不同。最基本的比如: AND,OR,NOT等。
举个例子,用户输入语句:lucene AND learned NOT hadoop。
说明用户想找一个包含lucene和learned然而不包括hadoop的文档。
第二步:对查询语句进行词法分析,语法分析,及语言处理。
由于查询语句有语法,因而也要进行词法分析,语法分析及语言处理。
1. 词法分析主要用来识别单词和关键字。
如上述例子中,经过词法分析,得到的单词有lucene,learned,hadoop,关键字有AND,NOT。
如果在词法分析中发现不合法的关键字,则会出现错误。如lucene AMD learned,其中由于 AND拼错,导致AMD作为一个普通单词参与查询。
2. 语法分析主要是根据查询语句的语法规则来形成一棵语法树。
如果发现查询语句不满足语法规则,则会报错。如lucene NOT AND learned,则会出错。
如上述例子,lucene AND learned NOT hadoop形成的语法树如下:
语法树3. 语言处理同索引过程的语言处理几乎相同。
如learned变成learn等。
经过第3步,我们得到一棵经过语言处理的语法树。
语法树_经过语言处理.jpg第三步:搜索索引,得到符合语法树的文档。
此步骤又分几小步:
- 首先,在反向索引表中,分别找出包含lucene,learn,hadoop的文档链表。
- 其次,对包含lucene,learn的链表进行合并操作,得到既包含lucene又包含learn的文档链表。
- 然后,将此链表与hadoop的文档链表进行差操作,去除包含hadoop的文档,从而得到既包含lucene又包含learned而且不包含hadoop的文档链表。
- 此文档链表就是我们要找的文档。
第四步:根据得到的文档和查询语句的相关性,对结果进行排序。
虽然在上一步,我们得到了想要的文档,接下来应该将查询结果按照与查询语句的相关性进行排序,越相关者越靠前。
如何计算文档和查询语句的相关性呢?
不如我们把查询语句看作一片短小的文档,对文档与文档之间的相关性(relevance)进行打分(scoring),分数高的相关性好,就应该排在前面。
那么又怎么对文档之间的关系进行打分呢?
这可不是一件容易的事情,首先我们看一看判断人之间的关系吧。
首先看一个人,往往有很多要素,如性格、信仰、爱好、衣着、高矮、胖瘦等等。
其次对于人与人之间的关系,不同的要素重要性不同,性格,信仰,爱好可能更重要一些,衣着,高矮,胖瘦可能就不能么重要了,所以具有相同或相似性格,信仰,爱好的人比较容易称为好的朋友,然而衣着,高矮,胖瘦不同的人,也可以成为好的朋友。
因而判断人与人之间的关系,首先找出哪些要素对人与人之间的关系最重要,比如性格,信仰,爱好。其次要判断两个人的这些要素之间的关系,比如一个人性格开朗,另一个人性格外向;一个人信仰佛教,另一个人信仰上帝;一个人爱好打篮球,另一个爱好踢足球。我们发现,两个人在性格方面都很积极,信仰方面都很善良,爱好方面都爱运动,因此两个人关系应该会很好。
我们再来看看公司之间的关系吧。
首先看一个公司,有很多人组成,如总经理,经理,首席技术官,普通员工,保安,门卫等。
其次对于公司与公司之间的关系,不同的人重要性不同,总经理,经理,首席技术官可能更重要一些,普通员工,保安,门卫可能较不重要以点。如果两个公司总经理,经理,首席技术官之间关系比较好,两个公司容易有比较好的关系。然而一位普通员工就算与另一家公司的一位普通员工有血海深仇,怕也难影响两个公司之间的关系。
因而判断公司与公司之间的关系,首先要找出哪些人对公司与公司之间的关系最重要,比如总经理,经理,首席技术官。其次要判断这戏人之间的关系,比如两家公司的总经理曾经是同学,经理是老乡,首席技术官曾是创业伙伴。我们发现,两家公司无论总经理,经理,首席技术官关系都很好,因而两家公司关系应该会很好。
分析了两种关系,下面看一看如何判断文档之间的关系了。
首先,一个文档有很多的词(Term)组成,如search,lucene,full-text,this,a,what等。
其次对于文档之间的关系,不同的Term重要性不同,比如对于本篇文档,search,lucene,full-text就相对重要一些,this,a,what可能相对不重要一些。所以如果两篇文档都包含search,lucene,full-text,两篇文档的相关性好一些;然而就算一篇文档包含this,a,what,另一篇文档不包含this,a,what,也不能影响两篇文档的相关性。
因而判断文档之间的关系,首先找出哪些词(Term)对文档之间的关系最重要,如search,lucene,full-text。然后判断这些词(Term)之间的关系。
找出词(Term)对文档重要性的过程称为计算词的权重(Term weight)的过程。
计算词的权重(term weight)有两个参数,第一个是词(Term),第二个是文档(Document)。
词的权重(Term weight)表示此词(Term)在此文档中的重要程度,越重要的词(Term)有越大的权重(Term weight),因而在计算文档之间的关系的相关性中将发挥更大的作用。
判断词(Term)之间的关系从而得到文档相关性的过程应用一种叫做向量空间模型的算法(Vector Space Model)。
仔细分析以下这个两个过程:
1.计算权重(Term weight)的过程。
影响一个词(Term)在一篇文档中的重要性主要有两个因素:
- Term Frequency(tf):即此Term在文档中出现了多少次。tf越大说明越重要。
- Document Frequency(df):即有多少文档中包含了此Term。df越大说明越不重要。
容易理解吗?词(Term)在文档中出现的次数越多,说明此词(Term)对该文档越重要,如"搜索"这个词,在本文档中出现的次数很多,说明本文档就是讲这方面的事的。然而在一篇英文文档中,"this"出现的次数更多,就说明更重要吗?不是的,这是由第二个因素进行调整的,第二个因素说明,有越多的文档包含此词(Term),说明此词(Term)太普通,不足以区分这些文档,因此重要性越低。
这也如我们程序员所学的技术,对于程序员本身来说,这项技术掌握的越深越好(掌握的越深说明花时间看的越多,tf越大),找工作时越有竞争力;然而对所有程序员来说,这项技术懂的人越少越好(懂得的人少df小),找工作越有竞争力。人的价值在于不可替代性就是这个道理。
道理明白了,我们来看看公式:
这仅仅只有term weight计算公式的典型实现。
实现全文检索系统的人会有自己的实现,lucene就与此稍有不同。
以上方创建索引的例子来说,
Term | tf in d1 | tf in d2 | df |
---|---|---|---|
allow | 2 | 1 | 2 |
beer | 1 | 0 | 1 |
drink | 1 | 1 | 2 |
find | 0 | 1 | 1 |
... | ... | ... | ... |
2. 判断Term之间的关系从而得到文档相关性的过程,也即向量空间模型的算法(VSM)。
我们把文档看作一系列词(Term),每一个词(Term)都有一个权重(Term weight),不同的词(Term)根据自己在文档中的权重来影响文档的相关性的打分计算。
于是我们把所有此文档中词(Term)的权重(Term weight)看作一个向量。
Document = {term 1,term 2,...,term N}
Document Vector = {weight 1,weight 2,...,weight N}
同样我们把查询语句看作一个简单的文档,也用向量来表示。
Query = {term 1,term 2,...,term N}
Query Vector = {weight 1,weight 2,...,weight N}
我们把所有搜索出的文档向量以及查询向量放到一个N维空间中,每个词(term)是一维。如图:
vsm我们认为两个向量之间的夹角越小,相关性越大。
所以我们计算夹角的余弦值作为相关性的打分,夹角越小,余弦值越大,打分越高,相关性越大。
有人可能会问,查询语句一般是很短的,包含的词(Term)是很少的,因而查询向量的维数很小,而文档很长,包含的词(Term)很多,文档向量维数很大。你的图中两者维数怎么都是N呢?
在这里,既然要放到相同的向量空间,自然维数是相同的,不同时,取两者的并集,如果不含某个词(Term)时,则权重(Term weight)为0。
相关性打分公式如下:
举个例子,查询语句有11个Term,共有三篇文档搜索出来。其中各自的权重(Term weight),如下表格。
t1 | t2 | t3 | t4 | t5 | t6 | t7 | t8 | t9 | t10 | t11 | |
---|---|---|---|---|---|---|---|---|---|---|---|
D1 | 0 | 0 | .477 | 0 | .477 | .176 | 0 | 0 | 0 | .176 | 0 |
D2 | 0 | .176 | 0 | .477 | 0 | 0 | 0 | 0 | .954 | 0 | .176 |
D3 | 0 | .176 | 0 | 0 | 0 | .176 | 0 | 0 | 0 | .176 | .176 |
Q | 0 | 0 | 0 | 0 | 0 | .176 | 0 | 0 | .477 | 0 | .176 |
于是计算,三篇文章同查询语句的相关性打分分别为:
于是文档二相关性最高,先返回,其次是文档一,最后是文档三。
到此为止,我们可以找到我们想要的文档了。
说了这么多,其实还没有进到Lucene,而仅仅是纤细检索技术(Information retrieval)中的基本理论,然而当我们看过Lucene后我们会发现,Lucene是对这种基本理论的一种基本的实践。所以在以后分析Lucene的文章中,会常常看到以上理论在Lucene中的应用。
在进入Lucene之前,对上述索引创建和搜索过程做一个总结,如图:
1. 索引过程:
a) 有一系列被索引的文件
b) 被索引的文件经过语法分析和语言处理形成一系列词(Term)
c) 经过索引创建形成词典和反向索引表
d) 通过索引过程将索引写入磁盘
2. 搜索过程:
a) 用户输入查询语句
b) 对查询语句经过词法分析和语言分析得到一系列词(Term)
c) 通过语法分析得到一个查询树
d) 通过索引存储将索引读到内存
e) 利用查询树搜索索引,从而得到每个词(Term)的文档列表,对文档列表进行交、差、并得到结果文档
f) 将搜索到的结果文档按照对查询语句的相关性进行排序
g) 返回查询结果给用户
下面可以进入Lucene的世界了。
网友评论