Advances in Data Base Theory : Volume 1

Hervé Gallaire

ISBN 10: 1461582997 / ISBN 13: 9781461582991

Editore: Springer US, 2012

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - During the 1970's a theory of data ~ases began to evolve pro viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particu larly with respect to the design and implementation of the relational model of data bases. To further the state of the art in the theory of data bases, a workshop was held in TOulouse, France on December 12-14, 1979. The workshop was a sequel to one held two years previously and entitled, 'Logic and Data Base Workshop'. As with the earlier work shop, the meetings were conducted at the centre d'Etudes et de Recherches de l'Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse (C.E.R.T). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armement (D.R.E.T.), and from C.E.R.T. that made the workshop possible.

Codice articolo 9781461582991

Dati bibliografici

• Titolo: Advances in Data Base Theory : Volume 1
• Editore: Springer US
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 1461582997
• ISBN 13: 9781461582991
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 244 L x 170 A x 24 P (millimetri) 244 millimetri di larghezza per 170 millimetri di altezza per 24 millimetri di profondità
• Peso: 761 grammi

Descrizione articolo

Riassunto

During the 1970's a theory of data ~ases began to evolve pro­ viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particu­ larly with respect to the design and implementation of the relational model of data bases. To further the state of the art in the theory of data bases, a workshop was held in TOulouse, France on December 12-14, 1979. The workshop was a sequel to one held two years previously and entitled, "Logic and Data Base Workshop". As with the earlier work­ shop, the meetings were conducted at the centre d'Etudes et de Recherches de l'Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse (C.E.R.T). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armement (D.R.E.T.), and from C.E.R.T. that made the workshop possible.

Contenuti

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.