Books > Computing & IT > Computer programming
|
Buy Now
Logics for Databases and Information Systems (Hardcover, 1998 ed.)
Loot Price: R6,131
Discovery Miles 61 310
|
|
Logics for Databases and Information Systems (Hardcover, 1998 ed.)
Series: The Springer International Series in Engineering and Computer Science, 436
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.