A system to query a database based on a logical schema of the database and an abstraction of the logical database schema, the abstraction including a plurality of objects and one or more properties associating one or more of the plurality of objects to one or more others of the plurality of objects. The system includes reception of a query including a first plurality of objects of the abstraction, a first one or more properties associating one of the first plurality of objects with another one of the plurality of objects, and two or more instances of a first one of the first plurality of objects. A dynamic representation of the logical database schema is modified to include an alias of the first one of the plurality of objects, the query is modified to include the alias, one or more functional dependencies of the abstraction to be enforced are determined based on the modified query, the modified dynamic representation of the logical database schema is edited based on the determined one or more functional dependencies, and a database query is generated based on the modified query and the edited dynamic representation.