Herve Gallaire – författare
Visar alla böcker från författaren Herve Gallaire. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
E-bok
PDF, Engelska, 2012708 kr
Läs direkt efter köp
Häftad, Engelska, 2012
561 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 2012714 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2012
561 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 2012708 kr
Läs direkt efter köp
Häftad, Engelska, 2013
561 kr
Skickas inom 10-15 vardagar
Mathematical logic provides a conceptual framework for many different areas of science. It has been recognized recently that logic is also significant for data bases. To focus on this impor- tant topic, a group of researchers met at a workshop in Toulouse, France on November 16-18, 1977. The workshop was held 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'Armenent (D. R. E. T) and from C. E. R. T. Without this support the workshop would not have been possible. We particularly wish to thank our friend and colleague Jean Marie Nicolas for handling much of the organi- zation of the workshop. This book is a collection of substantially revised versions of the majority of the papers presented at the workshop. Every paper was reviewed carefully by at least two reviewers. Many thanks are due to our reviewers for their detailed reading of the papers and their constructive comments.The book provides, for the first time, a comprehensive descrip- tion of the interaction between logic and data bases.