(algebra, databases) A type of join, denoted by ▷, such that R▷S yields only those tuples in R for which S has no corresponding tuple of the same value.

Any of a group of shikonin derivatives, isolated from Lithospermum erythrorhizon, that are used in Chinese medicine

(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

Third-person singular simple present indicative form of take down a peg