User productivity can be facilitated by providing an interface between a high-level intent and low-level settings that should be configured to achieve the intent. The intent can be expressed in declarative language. The intent can be verified to determine if it conforms to a target, a policy, or both. Policy binding can provide a relationship between the target and the policy. An application view can be provided that allows the user to view a server having one or more databases.