|
" Advances in Data Base Theory : "
edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
729854
|
| Doc. No
|
:
|
b549610
|
| Main Entry
|
:
|
edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
|
| Title & Author
|
:
|
Advances in Data Base Theory : : Volume 1\ edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
|
| Publication Statement
|
:
|
Boston, MA: Springer US, 1981
|
| Page. NO
|
:
|
(440 pages)
|
| ISBN
|
:
|
1461582970
|
|
|
:
|
: 1461582997
|
|
|
:
|
: 9781461582977
|
|
|
:
|
: 9781461582991
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Data structures (Computer science)
|
| LC Classification
|
:
|
QA76.9.D35E358 1981
|
| Added Entry
|
:
|
Herve Gallaire
|
|
|
:
|
Jack Minker
|
|
|
:
|
Jean Marie Nicolas
|
| |