Re: The wisdom of the object mentors (Was: Searching OO Associations with RDBMS Persistence Models)
Date: 2 Jun 2006 13:11:22 -0700
What do you mean, "relation model speaking"? Relational operators, or operators on various types (the values of which can be stored in the attributes of tuples of relations)? Or are you using the term "relational" more loosely in the sense that =, <, >=, etc. are relational operators? Operators of type T -> T -> boolean, right?
> They are a set of symbols (generally mathematical such as =) that can
> be applied to permissible values included in a specific domain.
> Each specific combination of operators applied help define a data type.
> That's all there's to it.
So you're talking about the algebraic definition of a type, like pop(push(S, x)) = x for a stack?