Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	März 1998
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / Compiler und Übersetzer / Concurrency / Data Warehousing / Database / Datenverarbeitung / Datenverschlüsselung, Kryptografie / descriptionlogics / Information / Informationsrückgewinnung, Information Retrieval / informationsystem / Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Programmiersprachen / Programming / Semantics mehr...
ISBN:	9780792381297
EAN-Code:	9780792381297
Verlag:	Springer
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 29 mm
Gewicht:	834 gr
Seiten:	448
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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. br/ emLogics for Databases and Information Systems/em 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. br/ emLogics for Databases and Information Systems/em 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.