Constraints, inference channels and secure databasesThe problem of optimal approximations of queries using views and its applications
