Logics for Databases and Information Systems

Name: Logics for Databases and Information Systems
Brand: Springer, Berlin
SKU: 9780792381297
Price: 210.52 EUR
Availability: InStock

Автор: Jan Chomicki, Gunter Saake

Език:

Корици: С твърди корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 10-13 дни

210.52 € 411.75 лв

The designers and users of present-day information systems deal with more and more complex applicati...

Информация за книгата

Автор

Jan Chomicki, Gunter Saake

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1998

страници

430

EAN

9780792381297

ISBN

0792381297

Enbook ID

01397445

Издател

Springer, Berlin

Теглоt

830

Размери

155 x 235 x 29

Пълно описание

The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. In this context, logic offers a wide variety of formalisms that can be applied to the specification, analysis, and prototype implementation of information systems. Such formalisms, e.g., temporal logic, provide a sound semantic basis for further extensions and for the development of practical database languages. §Logics for Databases and Information Systems addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. Each topic is discussed by leading researchers in the field. §Logics for Databases and Information Systems is suitable as a secondary text for a graduate level course on Databases and Information Systems, and as a reference for researchers and practitioners in industry.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logics for Databases and Information Systems

Информация за книгата

Пълно описание

Може също да ви хареса

Cycles and Rays

Rotifera X

Compositionality, Context and Semantic Values

Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations

Ottawa and Chippewa Indians of Michigan, 1870-1909

The Cup of Destiny: The Quest for the Grail

A PRACTICAL ESSAY ON DISTORTION OF THE L

wordless place

Psalm 91: God's Powerful Promise of Protection

Karl Lagerfeld: A Life in Houses

The Barking Ballad: A Bark-Along Meow-Along Book

Клиенти, които купиха тази книга, купиха също

Dungeons & Dragons - Drizztin legenda: Valoa kohti

Král, válečník, kouzelník, milovník

Jakobsweg Via Coloniensis

Das inoffizielle Wortsuchrätsel Buch Teil 1 für MINECRAFT Fans

Infos Aktuell 3 Język niemiecki Zeszyt ćwiczeń + kod (Interaktywny zeszyt ćwiczeń)

¿QUÈ ARAÑA ES ESTA?

Člověk v současném světě

Nejznámější dětské písničky