Universal Algebra, Algebraic Logic, and Databases

Hardcover (Print)

Buy New

Buy New from BN.com

$151.20

(Save 20%)

Eligible for FREE SHIPPING details

Usually ships within 24 hours details

Used and New from Other Sellers

from $139.51

Usually ships in 1-2 business days

(Save 26%)

Other sellers (Hardcover)

All (5) from $139.51
New (3) from $139.51
Used (2) from $0.0

Overview

This volume is devoted to the development of an algebraic model of databases. The first chapter presents a general introduction. The following sixteen chapters are divided into three main parts. Part I deals with various aspects of universal algebra. The chapters of Part I discuss topics such as sets, algebras and models, fundamental structures, categories, the category of sets, topoi, fuzzy sets, varieties of algebras, axiomatic classes, category algebra and algebraic theories.
Part II deals with different approaches to the algebraization of predicate calculus. This material is intended to be applied chiefly to databases, although some discussion of pure algebraic applications is also given. Discussed here are topics such as Boolean algebras and propositional calculus, Halmos algebras and predicate calculus, connections with model theory, and the categorial approach to algebraic logic.
Part III is concerned specifically with the algebraic model of databases, which considers the database as an algebraic structure. Topics dealt with in this part are the algebraic aspects of databases, their equivalence and restructuring, symmetries and the Galois theory of databases, and constructions in database theory. The volume closes with a discussion and conclusions, and an extensive bibliography.
For mathematicians, computer scientists and database engineers, with an interest in applications of algebra and logic.

Editorial Reviews

Booknews

An updated and revised translation of the 1991 Russian edition. Chapters are divided into three sections. Part one deals with aspects of universal algebra. Part two discusses topics such as sets, algebra and models, fundamental structures, fuzzy sets, categories, topoi, and the algebraization of predicate calculus. Part three is concerned with algebraic models of databases. Equivalence and restructuring, symmetries and the Galois theory of databases, and constructions are discussed. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN-13: 9780792326656
Publisher: Springer Netherlands
Publication date: 1/31/1994
Series: Mathematics and Its Applications (closed) Series , #272
Edition description: 1994
Edition number: 1
Pages: 438
Product dimensions: 1.06 (w) x 6.14 (h) x 9.21 (d)

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.

Customer Reviews

Be the first to write a review

( 0 )

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

If you find inappropriate content, please report it to Barnes & Noble

Universal Algebra, Algebraic Logic, and Databases / Edition 1