It seems to me Kroch’s and Santorini’s rendition of this function:
(1) |
|
|
[[ invite ]] = { |
Chris |
→ |
( Andrew |
→ |
T ) , |
|
David |
→ |
( Andrew |
→ |
T ) , |
|
Eddie |
→ |
( Andrew |
→ |
F ) , |
|
Chris |
→ |
( Brian |
→ |
F ) , |
|
David |
→ |
( Brian |
→ |
F ) , |
|
Eddie |
→ |
( Brian |
→ |
T ) } |
is off, since in a function the first entity in a given ordered pair can be mapped to one and only one entity.
Shouldn’t the function be represented this way:
(2) |
|
|
[[ invite ]] = { |
Chris |
→ |
{ ( Andrew |
→ |
T ) , |
( Brian |
→ |
F ) , |
. . . } |
|
David |
→ |
( Andrew |
→ |
T ) , |
( Brian |
→ |
F ) , |
. . . } |
|
Eddie |
→ |
( Andrew |
→ |
F ) , |
( Brian |
→ |
T ) , |
. . . } |
} |
|
|
|
|
|
|
|
|
|
?
Or am I missing something obvious?
Like this:
Like Loading...
Related
About Cliff Wirt
I am a banking DBA with various and sundry interests, including art, poetry, philosophy, music, languages, relational algebra, database administration, and blueberries. Don't forget the blueberries. Some of these interests tie in in surprising though usually tangential ways with database theory. Even the blueberries. I have published one article in a Philosophy Journal, and I have one painting in a corporate collection (housed in what used to be the Amoco building in Chicago). According to 12andMe, my paternal haplogroup is I2, my maternal H5. The Neanderthal percentage of my ancestry is 3%. My most famous ancestor is William Wirt (from whom I get my last name, though possibly not my Y chromosome), who defended the rights of the Cherokees before the Supreme Court, and ran for President in 1832, carrying one state. My homepage is at http://www.cliff-engel-wirt.com. My FaceBook page is at https://www.facebook.com/cliffengelwirt. My LinkedIn page is at https://www.linkedin.com/profile/view?id=4298877&trk=nav_responsive_tab_profile_pic.
View all posts by Cliff Wirt
Leave a Reply