Research Catalog
Universal algebra, algebraic logic, and databases
- Title
- Universal algebra, algebraic logic, and databases / by B. Plotkin.
- Author
- Plotkin, B. I. (Boris Isaakovich)
- Publication
- Dordrecht ; Boston : Kluwer Academic Publishers, [1994], ©1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA251 .P6213 1994 | Off-site |
Details
- Description
- xv, 438 pages : illustrations; 25 cm.
- Series Statement
- Mathematics and its applications ; v. 272
- Uniform Title
- Universalʹnai͡a algebra, algebraicheskai͡a logika i bazy dannykh. English
- Mathematics and its applications (Kluwer Academic Publishers) ; v. 272.
- Alternative Title
- Universalʹnai͡a algebra, algebraicheskai͡a logika i bazy dannykh.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 423-433) and index.
- Contents
- 0. General View on Objectives and Contents of the Book -- I. Universal Algebra. 1. Sets, Algebras, Models. 2. Fundamental Structures. 3. Categories. 4. The Category 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.
- ISBN
- 0792326652 (acid-free paper)
- LCCN
- 93044246
- OCLC
- 29518314
- ocm29518314
- Owning Institutions
- Columbia University Libraries