Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 14-24 Tagen versandfertig
Veröffentlichung:	Januar 1994
Genre:	Schulbücher
ISBN:	9780792326656
EAN-Code:	9780792326656
Verlag:	Springer Netherlands
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 30 mm
Gewicht:	852 gr
Seiten:	460
Zus. Info:	HC runder Rücken kaschiert
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.