On Formal IS-A Relationship Definition

April 27, 2010

This posting is an announcement of one more article about Relational Lattice. The later features an analysis of various [partial] order relationships, which may seems too abstract to untrained eye. Let’s assure the reader, that it has practical consequences. In database modeling area the “is-a” relationship is a partial order which coincides with the lattice order “<". Consider the following example (page 12) with the four relations

Animals = [name]

Carnivores = [name prey]
              bear sheep
              wolf sheep

Herbivores = [name  veggi]
              sheep grass
              bear  berries

Omnivores = [name veggi prey]
             bear sheep berries

Note the “is-a” relationships between Animals and Carnivores, Animals and Herbivores, Carnivores and Omnivores, and finally, between Herbivores and Omnivores. This is four element relational lattice with Omnivores being natural join of Carnivores with Herbivores, while Animals being generalized union of thereof, and the “is-a” relationship is just a lattice order. So, the existence of other partial orders may have significance for modeling too, however, the article in question demonstrates that the order induced by outer union fails to fit this role.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: