9781468433869 - Logic and Data Bases di Gallaire, Hervé; Minker, Jack (14 risultati)

paperback. Condizione: Fine.

Condizione: New. In.

Paperback. Condizione: New.

Condizione: New. pp. 468.

Paperback. Condizione: Brand New. 466 pages. 10.10x7.10x1.10 inches. In Stock.

Taschenbuch. Condizione: Neu. Logic and Data Bases | Hervé Gallaire (u. a.) | Taschenbuch | viii | Englisch | 2013 | Springer | EAN 9781468433869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 468 pp. Englisch.

Condizione: New. Print on Demand pp. 468 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 468.

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relatio.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relational Data Base System Based on Logic.- Deductive Question-Answering on Relational Data Bases.- Deductive Planning and Pathfinding for Relational Data Bases.- DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.- Nondeterministic Languages Used for the Definition of Data Models.- An Axiomatic Data Base Theory.- Negative Information and Data Bases.- Negation as Failure.- Logic and Data Base Integrity.- Integrity Checking in Deductive Data Bases.- Query Languages and Applications.- The Application of PROLOG to the Development of QA and DBM Systems.- The Predicate Calculus-Language KS as a Query Language.- High Level Data Base Query Languages.- Author Index.- List of Referees.- Addresses of Contributing Authors.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch.