A Datalog program for which each rule and initial fact has been independently
validated, but the program as a whole has not been validated. That is, it
guarantees that each clause of a program is independently valid, but says
nothing about whether the clauses taken together make sense. This might be a
concern for language features such as negation, where certain dependencies
between clauses are undesirable.