Obedient 发表于 2025-3-26 21:09:37

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 发表于 2025-3-27 02:21:15

http://reply.papertrans.cn/95/9423/942205/942205_32.png

granite 发表于 2025-3-27 06:02:58

http://reply.papertrans.cn/95/9423/942205/942205_33.png

Affection 发表于 2025-3-27 11:18:14

http://reply.papertrans.cn/95/9423/942205/942205_34.png

Ccu106 发表于 2025-3-27 17:10:54

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 发表于 2025-3-27 20:44:07

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 发表于 2025-3-27 23:21:55

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 发表于 2025-3-28 02:08:14

http://reply.papertrans.cn/95/9423/942205/942205_38.png

patriot 发表于 2025-3-28 07:03:38

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

骚动 发表于 2025-3-28 12:01:50

http://reply.papertrans.cn/95/9423/942205/942205_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Universal Algebra, Algebraic Logic, and Databases; B. Plotkin Book 1994 Springer Science+Business Media Dordrecht 1994 Algebraic structure