Verwandte Artikel zu Logics for Databases and Information Systems (The Springer...

Logics for Databases and Information Systems (The Springer International Series in Engineering and Computer Science, 436, Band 436) - Hardcover

 
9780792381297: Logics for Databases and Information Systems (The Springer International Series in Engineering and Computer Science, 436, Band 436)
Hardcover
ISBN 10: 0792381297 ISBN 13: 9780792381297
Verlag: Springer, 1998

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Jens Meinicke is a PhD student at University of Magdeburg, Germany. Since 2011 he has developed FeatureIDE as a programmer and a researcher, and since fall 2016 he is working at Carnegie Mellon University in Pittsburgh as Visiting Researcher.Thomas Thüm is a postdoctoral researcher at TU Braunschweig, Germany. In 2010, his master thesis had received the Software Engineering Award 2011 of the Ernst-Denert-Foundation, and in 2015, he received the Dissertation Award of the University of Magdeburg. He made substantial contributions to the source code between 2007 and 2010. Since then, he manages the development and releases of FeatureIDE.Reimar Schröter is a PhD student at University of Magdeburg, Germany. Since 2012, he has been responsible for the integration of several extensions into FeatureIDE. He supervised courses in which students used FeatureIDE for product-line development and extend withnew functionalities.Fabian Benduhn is a PhD student at University of Magdeburg, Germany. He has contributed to the development of FeatureIDE, used it for teaching, and has been involved in preparing FeatureIDE for industrial application together with METOP GmbH.Thomas Leich is Professor for Requirements Engineering at Harz University of Applied Sciences in Wernigerode, Germany. He is also Executive Director of METOP GmbH, an affiliate institute to the University of Magdeburg. Since 2001 he worked for several DAX 30 companies as consultant and software architect. In 2004, he initiated FeatureIDE as a part of the FeatureC++ project at the University of Magdeburg. Until today he is responsible for industrial extensions and consulting of FeatureIDE.Gunter Saake is Professor for Databases and Software Engineering at University of Magdeburg, Germany. He has more than 200 publications covering various areas of data base management, formal methods, and software engineering. He is the author of several basic and graduate text books on database technology and an introductory book for computer science students. He is also co-author of the book "Feature-Oriented Software Product Lines" (Springer, 2013) presenting the foundations of feature-oriented software product-line engineering.

Gunter Saake ist Professor für Informatik mit dem Schwerpunkt Datenbanktechnik an der Universität Magdeburg.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
0792381297
ISBN 13 
9780792381297
Einband
Gebundene Ausgabe
Anzahl der Seiten
443
Herausgeber
Chomicki Jan, Saake Gunter
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland