Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Aufl�sung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 448 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 1657351/202

Contacter le vendeur

Acheter D'occasion

EUR 154,59

Autre devise

Frais de port : EUR 45

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Couverture rigide

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Feb2416190185045

Contacter le vendeur

Acheter neuf

EUR 212,84

Autre devise

Frais de port : EUR 3,57

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logics for Databases and Information Systems

Chomicki, Jan|Saake, Gunter

Edit� par Springer US, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Couverture rigide

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Gebunden. Etat : New. N� de r�f. du vendeur 5970698

Contacter le vendeur

Acheter neuf

EUR 180,07

Autre devise

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Logics for Databases and Information Systems

Edit� par Springer, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 448 Index. N� de r�f. du vendeur 262179144

Contacter le vendeur

Acheter neuf

EUR 228,60

Autre devise

Frais de port : EUR 3,57

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logics for Databases and Information Systems

Gunter Saake

Edit� par Springer US Mrz 1998, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Buch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 448 pp. Englisch. N� de r�f. du vendeur 9780792381297

Contacter le vendeur

Acheter neuf

EUR 213,99

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9780792381297_new

Contacter le vendeur

Acheter neuf

EUR 234,27

Autre devise

Frais de port : EUR 14,25

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logics for Databases and Information Systems

Gunter Saake

Edit� par Springer US, Springer US, 1998

ISBN 10 : 0792381297 ISBN 13 : 9780792381297

Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9780792381297

Contacter le vendeur