Universal Algebra, Algebraic Logic, and Databases

Specificaties
Gebonden, 438 blz. | Engels
Springer Netherlands | 1994e druk, 1994
ISBN13: 9780792326656
Rubricering
Springer Netherlands 1994e druk, 1994 9780792326656
Onderdeel van serie Mathematics and Its Applications
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed 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 algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces­ sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.

Specificaties

ISBN13:9780792326656
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:438
Uitgever:Springer Netherlands
Druk:1994

Inhoudsopgave

Preface. Introduction: 0. General View on Objectives and Contents of the Book. I: Universal Algebra. 1. Sets, Algebras, Models. 2. Fundamental Structures. 3. Categories. 4. The Categories of Sets. Topoi. Fuzzy Sets. 5. Varieties of Algebras. Axiomatizable Classes. 6. Category Algebra and Algebraic Theories. II: Algebraic Logic. 7. Boolean Algebras and Propositional Calculus. 8. Halmos Algebras and Predicate Calculus. 9. Specialized Halmos Algebras. 10. Connections with Model Theory. 11. The Categorial Approach to Algebraic Logic. III: Databases -- Algebraic Aspects. 12. Algebraic Model of a Database. 13. Equivalence and Reorganization of Databases. 14. Symmetries of Relations and Galois Theory of Databases. 15. Constructions in Database Theory. 16. Discussion and Conclusion. Bibliography. Index.

Rubrieken

    Personen

      Trefwoorden

        Universal Algebra, Algebraic Logic, and Databases