Datalog Linearization Predicate (mathematical logic) Computer science Chain (unit) Bounded function Deductive database Theoretical computer science Logic programming Programming language Mathematics Discrete mathematics Algebra over a field Pure mathematics Nonlinear system