• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

E-books

Boekenbon

Promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

  2. Boeken
  3. Non-fictie
  4. Wetenschap
  5. Wiskunde & Statistiek
  6. Logics for Databases and Information Systems

Logics for Databases and Information Systems

Hardcover | Engels | The Springer International Engineering and Computer Science | nr. 436
€ 335,95
+ 671 punten
Levering 2 à 3 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Uitgeverij:
Springer

Inhoud

Aantal bladzijden:
430
Taal:
Engels
Reeks:
The Springer International Engineering and Computer Science
Reeksnummer:
nr. 436

Eigenschappen

Productcode (EAN):
9780792381297
Verschijningsdatum:
31/03/1998
Uitvoering:
Hardcover
Formaat:
Genaaid
Afmetingen:
156 mm x 234 mm
Gewicht:
798 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 671 punten op je klantenkaart van Standaard Boekhandel
AANGERADEN

Alles voor een vliegende start

op school en op kantoor
Naar onze tips
AANGERADEN
Tips voor een vliegende start
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
Pak nu je korting
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.

Uitgelichte categorieën

Geschiedenis

Strips, Comics & Graphic Novels

Mens & Maatschappij

Kookboeken

Hobby

Science fiction & Fantasy

Psychologie

Wetenschap

Kunst & Cultuur

Onderwijs & Pedagogie

Sport

Economie & Management

Zelfzorg, Gezin & Gezondheid

Reizen

Taal

Religie & Spiritualiteit