Skip to main content

clause - FOLDOC Entry

Source


clause  



        1.  A {logical formula} in {conjunctive normal form},



         which has the {schema}



             p1 ^ ...^ pm => q1 V ... V qn.



    or,equivalently



            ~p1 V ... V ~pn V q1 V ... V qn,



    where pi and qi are {atoms}.



    The operators ~,^,V,=> are connectives,where ~ stands for a                              



        {negation},^ for a {conjunction},V for a {disjunction} and =>



    for an {implication}.






    2.  A part of a {SQL} statement that does not   constitute



        a full statement; for e.g. a "WHERE clause".



    (2004-5-15)


Was sent to me on Apr 7, took a little extra time to edit.



Thanks FOLDOC