Domain independence of a database query (source code)

= Domain independence of a database query

A <database query> has the same result when its ambient domain is extended while all input <database relations> are unchanged.