Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Database Schema Design: Cycles and Decomposition
-
Incomplete Information
-
Abstract Data Types for Formal Specifications and Views
-
Query Language Theory
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Advances in Data Base Theory
Book Subtitle: Volume 2
Editors: Hervé Gallaire, Jack Minker, Jean Marie Nicolas
DOI: https://doi.org/10.1007/978-1-4615-9385-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Plenum Press, New York 1984
Softcover ISBN: 978-1-4615-9387-4Published: 03 February 2012
eBook ISBN: 978-1-4615-9385-0Published: 06 December 2012
Edition Number: 1
Number of Pages: 432
Number of Illustrations: 16 b/w illustrations