Titlebook: Universal Algebra, Algebraic Logic, and Databases; B. Plotkin Book 1994 Springer Science+Business Media Dordrecht 1994 Algebraic structure

Obedient

Varieties of Algebras. Axiomatizable Classesell. We also consider several constructions which will be used in the sequel. Varieties play a significant role for databases: they are related with the idea of data type, one of which is of importance in programming theory.

IVORY

granite

Affection

Ccu106

Connections With Model Theoryer, by the corresponding Halmos algebra. The present chapter contains some relevant information. Just as in the preceeding chapter, we deal here with specialized Halmos algebras, and treat pure algebras as a special case of the former ones.

textile

Algebraic Model of a Databasealgebraic structure. For example, the algebraic model of an automaton is already well-known, and here the algebraic model of database is created. For many reasons such a model may be useful. One can define various compositions of databases and examine the problem of decomposition.x Using the definit

MILK

Equivalence and Reorganization of Databaseson is based on the definition given in § 2 of that chapter, and as a rule, we restrict the consideration to the particular case where the *-automaton (.) has its origin in the subautomaton (.) of some Atm.. The algebra of input queries . is the result of compression of the universal algebra ., and t

Lice692

patriot

Book 1994ndowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some alge

騷動(dòng)