scientific article

zbMath0563.68013MaRDI QIDQ3677149

Johann A. Makowsky

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract data typesHorn formulasArmstrong relationsinitial structuresgeneric examples

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items

On the existence of free models in abstract algebraic institutions, Quasi-varieties in abstract algebraic institutions, A general Lindström theorem for some normal modal logics, Theories with the independence property, On the expressive power of data dependencies, A sound and complete semantics for a version of negation as failure