A Logical Approach to Context-Aware Databases