Categorization of Predicates
Date: Mon, 04 Nov 2002 04:26:35 +0000
Message-ID: <2005715.1036383995_at_dbforums.com>
I am developing a database that attempts to processes a new predicate introduced into the db in a manner similar to it's category. Has someone already categorized predicates before? I want to categorize predicates that combine two things (ie thing1 predicate thing2) from a very general and logically processable point of view. Are the below categorizations correct?
BIDIRECTIONAL PREDICATES:
t1 and t2 can be exchanged and the proposition remains true.
For example:
John agreesWith Bob.
Bob agreesWith John.
Mary isNextTo John.
John isNextTo Mary.
UNIDIRECTIONAL PREDICATES:
John ate the apple. Its negation, The apple ate John, is false.
Mary cut the wood. Its negation, The wood cut Mary, is false.
Exchanging t1 and t2 results in a false proposition.
For example:
HIERARCHAL/TRANSITIVE PREDICATES:
If we have: t1 predicate t2.
And we have: t2 predicate t3.
Then: t1 predicate t3, is also true.
For example:
-- Posted via http://dbforums.comReceived on Mon Nov 04 2002 - 05:26:35 CET