The Community for Technology Leaders
Green Image
We study the complexity of query satisfiability and entailment for the Boolean Information Retrieval models {\cal WP} and {\cal AWP} using techniques from propositional logic and computational complexity. {\cal WP} and {\cal AWP} can be used to represent and query textual information under the Boolean model using the concept of attribute with values of type text, the concept of word, and word proximity constraints. Variations of {\cal WP} and {\cal AWP} are in use in most deployed digital libraries using the Boolean model, text extenders for relational database systems (e.g., Oracle 10g), search engines, and P2P systems for information retrieval and filtering.
Boolean information retrieval, computational complexity, data models, query languages, satisfiability, entailment, proximity.

M. Koubarakis, S. Skiadopoulos and C. Tryfonopoulos, "Logic and Computational Complexity for Boolean Information Retrieval," in IEEE Transactions on Knowledge & Data Engineering, vol. 18, no. , pp. 1659-1666, 2006.
92 ms
(Ver 3.3 (11022016))