Advances in Data Base Theory: Volume 1The chapters of this book are based on substantially revised versions of papers presented at the workshop, and peer reviewed. The aspects of data base theory developed in this book are: (1) Various dependency relationships and their use in designing data base schema. (2) The relationships between logic and data bases, with an emphasis towards augmenting relational data bases to handle deduction and integrity constraints. (3) How data base systems may be developed which are 'friendly' for users. This book can be used as the basis of a graduate seminar in computer science. |
Contents
Background for Advances in Data Base Theory | 3 |
A Comprehensive Approach | 73 |
Adequacy of Decompositions of Relational Databases | 101 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
A₁ A₂ abstract data types algebra algorithm argument assume atomic component atomic formula ATTR(R ATTRIBS axioms Beeri Canonicals chase clause Codd Computer contains Data Bases H data type Database Systems decomposition deductive defined definition denoted derived relations domain EJD1 elements EMP name=v equations equivalent evaluation example Fagin fohd formulae Gallaire given graph Horn clauses indexing inference inference rules inputline instance integrity constraints join dependencies join support Logic and Data logic program lossless join many-to-many many-to-many relationship Mendelzon method mgr=vv Minker multivalued dependencies mvds node null values obtain optimizer predicate predicate logic premises preprocessor PROLOG Proof recursive regular expression rela relation scheme relational data base rules Sagiv satisfies set of attributes specification step subqueries subset tableau Theorem tion tuple twff typed normal form Ullman update variables WOODMS X-branches X-stems Z-cover