edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston, MA
Name of Publisher, Distributor, etc.
Springer US
Date of Publication, Distribution, etc.
1981
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(440 pages)
CONTENTS NOTE
Text of Note
Background for Advances in Data Base Theory --;Data Base Design --;On the Properties of Join Dependencies --;Decomposition of Relations: A Comprehensive Approach --;Adequacy of Decompositions of Relational Databases --;A Method for Helping Discover the Dependencies of a Relation --;General Laws: Deduction and Integrity --;On the Integrity of Typed First Order Data Bases --;Equations Compared with Clauses for Specification of Abstract Data Types --;Optimization in Deductive and Conventional Relational Database Systems --;On Evaluation of Queries Containing Derived Relations in a Relational Data Base --;Reasoning with Data in a Deductively Augmented Data Management System --;Informative Capabilities for Users --;A Formal Approach to Null Values in Database Relations --;About Natural Logic --;Assigning Meaning to Ill-Defined Queries Expressed in Predicate Calculus Language --;On the Feasibility of Informative Answers --;Name Index --;List of Referees --;Addresses of Contributing Authors.
TOPICAL NAME USED AS SUBJECT
Computer science.
Data structures (Computer science)
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D35
Book number
E358
1981
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.