Model-Checking Based Data Retrieval