-
-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Mega Enhancement: Search #28
Comments
Basically, we need to construct an 'index' of sorts that contains the most common words on every page. We could include this in the page index, but the worry here is that this will bloat the size of the page index, increasing the time it takes for the pageindex to be read in and parsed. |
We might want to look into an inverted index. This apparently allows for 'fast full text searches'. Information here: |
In order to use an inverted index though, we will have to assign an id to every page. This is such that the inverted index remains small and easy to search. We will have to come up with an algorithm to assign short unique id to every page. |
Perhaps we could have a single |
We now have search! It isn't yet complete though. I have a few things that I think we really ought to deal with before closing this bug.
It might also be smart to give tags and titles a weighting. What I mean by this is that occurrences of a query term in the title or tags should bump the rank by say 5 for titles and 2 or 3 for tags. This should be configurable, though.
|
Done! We have a fully integrated search function. Since it's a hugely complex system (it has many more moving parts than other parts of Pepperminty WIki) it |
The current search facility only directs the user to a specific page. I would be nice if it would actually search the site if it can't find an exact match. Perhaps an upgrade is in order?
Firstly we should do some research on how to create a search engine in PHP which doesn't take ages to find anything.
The text was updated successfully, but these errors were encountered: