Definitions for "Derivation"
Keywords:  linguistic, affix, undo, singer, sing
The act of tracing origin or descent, as in grammar or genealogy; as, the derivation of a word from an Aryan root.
The formation of a word from its more original or radical elements; also, a statement of the origin and history of a word.
Derivation is how new words are created by processes such as inflections, trumpet + er = trumpeter, or compounding wind + mill = windmill. It contrasts with grammatical inflections
The operation of deducing one function from another according to some fixed law, called the law of derivation, as the operation of differentiation or of integration.
In abstract algebra, a derivation on an algebra A over a ring or a field k is a linear map \scriptstyle{ D: A \longrightarrow A} that satisfies Leibniz' law: \scriptstyle{ D(ab) = (Da)b + a(Db)}.
Keywords:  infer, algorithm, chapter, target, fact
an algorithm used to compute or infer a Derived Fact. See Chapter 4, Chapter 6
a dependency within which the target can be computed or inferred from the source
an algorithm that describes the calculations involved
The process of changes that an etymon passes through dichronically to arrive at its modern form or reflex. For example
The act of receiving anything from a source; the act of procuring an effect from a cause, means, or condition, as profits from capital, conclusions or opinions from evidence.
a line of reasoning that shows how a conclusion follows logically from accepted propositions
A leading or drawing off of water from a stream or source.
A drawing of humors or fluids from one part of the body to another, to relieve or lessen a morbid process.
drawing of fluid or inflammation away from a diseased part of the body
a binary tree that encodes a proof
a little step by step proof or demonstration that a particular tree obeys the rules of the grammar
a formula that ties the value of an output symbol to the value of one or more input symbols
a series of numbered lines, each line consisting of a formula with an annotation
a symbol bound to an expression
Keywords:  sharply, bent, bypass, diversion, canal
French for diversion canal, usually a cut to bypass a winding or sharply bent section of a river.
inherited properties shared with others of your bloodline
Keywords:  landfills, fuels, taking
taking from, e.g. the derivation of fuels from landfills
Process of making of a new type in terms of an existing one.
The definition of a new type in terms of an existing one.
(1) The creation of a new or derived class from an existing base class. (2) The relationship between a class and the classes above or below it in a class hierarchy.
the source from which something derives (i.e. comes or issues); "he prefers shoes of Italian derivation"
a sequence of rule applications
a sequence of steps, logical or computational, from one result to another
The state or method of being derived; the relation of origin when established or asserted.
Keywords:  deduction
That which is derived; a derivative; a deduction.
Keywords:  thing
That from which a thing is derived.
Keywords:  attributes, variables, system
an attribute that is derived from other attributes or system variables