Chapter 8. G
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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access