Logic and Data Bases
Autor Hervé Gallaire, Jack Minkeren Limba Engleză Paperback – 12 mar 2013
Preț: 333.22 lei
Preț vechi: 416.53 lei
-20%
Puncte Express: 500
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.