Re: Multiple-Attribute Keys and 1NF
- From: Neo <neo55592@xxxxxxxxxxx>
- Date: Thu, 30 Aug 2007 14:18:31 -0700
I have three propositions, and hopefully we'd agree there are two
roles in these propositions: name and speaks_language. So in FOL I
could write these propositions as:
[P1] Name(x, Jim) -> speaks_language(x, English)
[P2] Name(x, Jim) -> speaks_language(x, German)
[P3] Name(x, Brian) -> speaks_language(x, English)
In dbd, the above are expressed as:
(new 'speak 'verb)
(new 'english 'language)
(new 'german 'language)
(new 'jim 'person)
(set jim speak english)
(set jim speak german)
(new 'brian 'person)
(set brian speak english)
(; Get persons who speaks english)
(; Gets jim and brian)
(get * speak english)
(; Get persons who speak english and german)
(; Ges jim)
(& (get * speak english)
(get * speak german))
.
- References:
- Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Bob Badour
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Bob Badour
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Bob Badour
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: David Cressey
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Bob Badour
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Brian Selzer
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Re: Multiple-Attribute Keys and 1NF
- From: Brian Selzer
- Re: Multiple-Attribute Keys and 1NF
- From: JOG
- Multiple-Attribute Keys and 1NF
- Prev by Date: Re: Multiple-Attribute Keys and 1NF
- Next by Date: Re: Multiple-Attribute Keys and 1NF
- Previous by thread: Re: Multiple-Attribute Keys and 1NF
- Next by thread: Re: Multiple-Attribute Keys and 1NF
- Index(es):
Relevant Pages
|
|
