Transactions and Change in Logic Databases
Editat de Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkoven Limba Engleză Paperback – 28 oct 1998
The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.
Preț: 326.91 lei
Preț vechi: 408.64 lei
-20% Nou
Puncte Express: 490
Preț estimativ în valută:
57.84€ • 67.38$ • 50.51£
57.84€ • 67.38$ • 50.51£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540653059
ISBN-10: 3540653058
Pagini: 412
Ilustrații: X, 398 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.62 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540653058
Pagini: 412
Ilustrații: X, 398 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.62 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 636.04 lei795.05 lei -
KanbanDavid J. Anderson-20%Preț: 250.35 lei312.93 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 469.12 lei509.91 lei -
Professional GitB LasterPreț: 290.58 lei -
Python Algorithms: Mastering Basic Algorithms in the Python LanguageMagnus Lie Hetland-20%Preț: 463.26 lei579.08 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 370.00 lei462.49 lei -
Head First AgileAndrew Stellman-20%Preț: 325.56 lei406.95 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
Design It!Micahel Keeling-20%Preț: 242.67 lei303.33 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
Dependability of Critical Computer SystemsF.J. Redmill-20%Preț: 1228.76 lei1535.95 lei -
-20%Preț: 322.43 lei403.04 lei -
Advances in Learning Software OrganizationsScott Henninger-20%Preț: 312.62 lei390.78 lei -
Formal Approaches to Software TestingAndreas Ulrich-20%Preț: 320.16 lei400.20 lei -
-20%Preț: 325.06 lei406.33 lei -
Fundamental Approaches to Software EngineeringMichel Wermelinger-20%Preț: 326.70 lei408.37 lei -
Programming Languages and SystemsDavid Schmidt-20%Preț: 792.77 lei990.96 lei -
Generic Model ManagementSergey Melnik-20%Preț: 319.36 lei399.20 lei -
Algebraic Methodology and Software TechnologyCharles Rattray-20%Preț: 335.89 lei419.86 lei -
Logic for Programming, Artificial Intelligence, and ReasoningGeoff Sutcliffe-20%Preț: 645.64 lei807.06 lei -
Perspectives of Systems InformaticsAndrei Voronkov-20%Preț: 332.21 lei415.26 lei -
Computer Science - Theory and ApplicationsVolker Diekert-20%Preț: 328.13 lei410.16 lei
Public țintă
Professional/practitionerCuprins
The state of change: A survey.- Specification of dynamics for knowledge-based systems.- On active deductive databases: The statelog approach.- Active-U-Datalog: Integrating active rules in a logical update language.- Logical transactions and serializability.- Results on reasoning about updates in Transaction Logic.- The dynamics of database views.- Inductive definability and the situation calculus.- Some notes on knowledge assimilation in deductive databases.- Applications of belief revision.- Analysing rational properties of change operators based on forward chaining.- A practical approach to hypothetical database queries.- From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases.