Logics for Databases and Information Systems
Broschiertes Buch

Logics for Databases and Information Systems

Versandkostenfrei!
Versandfertig in 6-10 Tagen
149,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
75 °P sammeln!
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 implementati...