generated type See type generator.
generic operator An operator that's available in connection with every type that can be produced by invocation of some given type generator, q.v. For example, the operators of the relational algebra are generic: they're available for relations of every type that can be produced by invocation of the relation type generatorin other words, for relations of all possible types, and hence for all relations.
generic polymorphism The kind of polymorphism exhibited by a generic operator, q.v.
Golden Rule, The The rule that no database is ever allowed to violate its own total database constraint. It follows that no relvar is ever allowed to violate its own total relvar constraint either, a fortiori. Note: This ...