Advances in Data Base Theory: Volume 2
This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci­ sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.
1133130632
Advances in Data Base Theory: Volume 2
This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci­ sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.
54.99 In Stock
Advances in Data Base Theory: Volume 2

Advances in Data Base Theory: Volume 2

Advances in Data Base Theory: Volume 2

Advances in Data Base Theory: Volume 2

Overview

This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci­ sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.

Product Details

ISBN-13: 9781461593874
Publisher: Springer US
Publication date: 02/03/2012
Edition description: Softcover reprint of the original 1st ed. 1984
Pages: 432
Product dimensions: 6.69(w) x 9.61(h) x 0.04(d)

Table of Contents

Database Schema design: Cycles and Decomposition.- Towards Designing Acyclic Database Schemes,.- Minimal Coverings of Acyclic Database Schemata,.- Eliminating Cycles in Database Schemas,.- A Decomposition Method for Cyclic Databases,.- Horizontal Decomposition for Handling Exceptions to Functional Dependencies,.- Integrity Constraints.- Compiling Constraint-Checking Programs from First-Order Formulas,.- Applications of Finite Differencing to Database Integrity Control and Query/Transaction-Optimization,.- A Family of Temporal Languages for the Description of Transition Constraints,.- Incomplete Information.- Nonmonotonic Reasoning and Databases,.- On Algebraic Query Processing in Logical Databases,.- Abstract data types for Formal Specifications and Views.- Stepwise Construction of Algebraic Specifications,.- Properties of Views and Their Implementation,.- Query Language Theory.- On the Undecidability of Equivalence Problems for Relational Expressions,.- Name Index.- List of Referees.- Addresses of Contributing Authors.
From the B&N Reads Blog
Page 1 of

Related Subjects

Computers
Database Management
Database Administration & Management
Computers
Database Management
Database Administration & Management

Customer Reviews