A kind of database (in fact, probably the most important kind). Special in that the database itself supports "search with complex query" (can combine conditions with boolean operations, even using intermediate search results for additional queries), which simplifies parallelization and scaling to very large datasets.
See also: