And finally – the formal definition for query:

Definition: Let R be a database scema and S a relation database. A query from R to S is a partial mapping from inst(R) to inst(S) that is generic and computable.

Prev    Table of content    Next