Logic and Data Bases
Autor Hervé Gallaire, Jack Minkeren Limba Engleză Paperback – 12 mar 2013
Preț: 346.43 lei
Preț vechi: 433.03 lei
-20% Nou
Puncte Express: 520
Preț estimativ în valută:
66.32€ • 69.20$ • 55.59£
66.32€ • 69.20$ • 55.59£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781468433869
ISBN-10: 1468433865
Pagini: 468
Ilustrații: VIII, 458 p. 1 illus.
Dimensiuni: 178 x 254 x 25 mm
Greutate: 0.8 kg
Ediția:Softcover reprint of the original 1st ed. 1978
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1468433865
Pagini: 468
Ilustrații: VIII, 458 p. 1 illus.
Dimensiuni: 178 x 254 x 25 mm
Greutate: 0.8 kg
Ediția:Softcover reprint of the original 1st ed. 1978
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.