n (Logic) an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system, (Also called) formal theory, formal calculus Compare â formal language. 1  English Collins Dictionary - English Definition & Thesaurus.
ASM metadata is stored in disk groups â in metadata blocks. Some ASM metadata is at the fixed position in every ASM disk, and is referred to as physically addressed metadata. Other ASM metadata is organised in files (directories) and is referred to as virtually addressed metadata.
DEFINITION of 'Available Seat Miles-ASM'. A measure of an airplane's carrying capacity available to generate revenue. Available seat miles refers to how many seat miles are actually available for purchase on an airline. Seat miles are calculated by multiplying the available seats for a given plane by the number of miles that plane will be flying for a given flight.