Logic and Data Bases
Gallaire, Herve; Minker, Jack
ISBN 10: 1468433865 ISBN 13: 9781468433869
Verlag: Springer-Verlag New York Inc., 2013
Neu
Softcover
Verkäufer
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 27. Februar 2001
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Num Pages: 458 pages, 1 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 24. Weight in Grams: 883. . 2013. Softcover reprint of the original 1st ed. 1978. Paperback. . . . . Bestandsnummer des Verkäufers V9781468433869
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logic and Data Bases
Verlag: Springer-Verlag New York Inc.
Erscheinungsdatum: 2013
Einband: Softcover
Zustand: New