NADEEF Denial Constraint (DC) format

DC         := not( Predicates )
Predicates := Predicate (& Predicate)*
Predicate  := t1.ColumnName [=|>|<|>=|<=|!=] [t1|t2].ColumName

• ColumnName is the table column name.
• Use t2 when the rule is working with 2 tables.