Gunter Saake - Böcker

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, for example, temporal logic, provide a sound semantic basis for further extensions and for the development of practical database languages. This text addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modelling, and property inheritance. Each topic is discussed by different researchers in the field. The work 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.

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu­ able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju­ dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem­ poral databases, among others temporal logic. Temporal logic combines ab­ stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica­ tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for­ mula satisfaction, are of primary interest. Axiomatic systems and proof meth­ ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re­ cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.

This book is a self-contained, practical introduction how to use FeatureIDE for modeling and implementing variable systems. In particular, readers learn how to analyze domains using feature models, specify requirements in form of configurations, and how to generate code based on conditional compilation and feature-oriented programming. Given the interactive style of the book, readers can directly try out the open-source development environment. All code examples are available in the standard distribution on GitHub and can immediately been used for individual modifications. Each part of the book is presented as a step-by-step tutorial and additionally illustrated using an ongoing example of elevator control software written in Java.Written by the core development team of FeatureIDE, this book is suitable for students using a tool for deepening the theoretical foundations of variability modeling and implementation, and as a reference for practitioners needing a stable and scalable tool for industrial applications. FeatureIDE is the most used open-source tool for feature modeling and has been continuously improved since 2004. The success of FeatureIDE is due to being a vehicle for cutting-edge product-line research by still providing an easy-to-use and seamless integration into Eclipse.

This book is a self-contained, practical introduction how to use FeatureIDE for modeling and implementing variable systems. In particular, readers learn how to analyze domains using feature models, specify requirements in form of configurations, and how to generate code based on conditional compilation and feature-oriented programming. Given the interactive style of the book, readers can directly try out the open-source development environment. All code examples are available in the standard distribution on GitHub and can immediately been used for individual modifications. Each part of the book is presented as a step-by-step tutorial and additionally illustrated using an ongoing example of elevator control software written in Java.Written by the core development team of FeatureIDE, this book is suitable for students using a tool for deepening the theoretical foundations of variability modeling and implementation, and as a reference for practitioners needing a stable and scalable tool for industrial applications. FeatureIDE is the most used open-source tool for feature modeling and has been continuously improved since 2004. The success of FeatureIDE is due to being a vehicle for cutting-edge product-line research by still providing an easy-to-use and seamless integration into Eclipse.

In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data.This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects, held in Dagstuhl Castle, Germany in September 1999. Seven long papers and three short papers are presented in revised full version. Also included is an invited paper by Veijalainen on Transactions in Mobile Electronic Commerce as well as two working group papers. The book presents recent results on all current aspects of database transactions processing, with an emphasis on electronic commerce applications.

While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers.

Das Buch vermittelt umfassende Grundlagen moderner Techniken des verteilten und parallelen Datenmanagements, die das Fundament moderner Informationssysteme bilden.

In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data.This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.

While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers.

Das Lehrbuch vermittelt umfassende Grundlagen moderner Techniken des verteilten und parallelen Datenmanagements, die das Fundament moderner Informationssysteme bilden. Ausgehend von einer Betrachtung der Architekturvarianten, die sich aus verteilten sowie parallelen Hardwareinfrastrukturen ergeben, werden die Bereiche Datenverteilung, Anfrageverarbeitung sowie Konsistenzsicherung behandelt. Hierbei werden jeweils Verfahren und Techniken für klassische verteilte, parallele sowie moderne massiv-verteilte bzw. massiv-parallele Architekturen vorgestellt und hinsichtlich ihrer Eigenschaften diskutiert. Damit schlagen die Autoren die Brücke zwischen klassischen Verfahren und aktuellen Entwicklungen im Cloud- und Big Data-Umfeld. Die neue und aktualisierte Auflage erweitert den Inhalt mit den Themen  Blockchain und Datenintegration. Der Inhalt -          Architekturen für verteiltes und paralleles Datenmanagement-          Katalogverwaltung und Datenverteilung-          Verteilte und parallele Anfrageverarbeitung, parallele Analyse großer Datenmengen -      Synchronisation und Replikation-      Blockchain  -      Transaktionsverarbeitung für Shared Storage-      Konsistenz in Cloud-Datenbanken-      Heterogene Datenbanken, Datenintegration   Die Zielgruppen-          Bachelor- und Masterstudierende der Informatik