Clause

1. <logic> 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 negation, ^ for conjunction, V for disjunction and => for implication.

2. <database> A part of a SQL statement that does not constitute a full statement; for e.g. a "WHERE clause".

< Previous Terms	Terms Containing clause	Next Terms >
class library class method Class Oriented Ring Associated Language Class-Relation Method Clausal Language	Ada/Ed Algebraic Logic Functional language ALGOL 68 clause Concurrent Prolog	Clean clean Cleanroom CLEAR clear box testing