View-based Query Containment