Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logics for Databases and Information Systems

Logics for Databases and Information Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792381297
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$169.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$169.00 $169.00

$169.00
See Site In stock Visit Store

Similar Products

The Common European Asylum System

$54.99

Care Ethics and Poetry

$69.99

Computational Intelligence Applications to Option Pricing, Volatility Forecasting and Value at Risk

$99.00

Formeln und Begriffe der Analysis

$17.99

Single and Multiple Stimulus Static Perimetry in Glaucoma; The Two Phases of Perimetry

$54.99

Multiple Classifier Systems

$39.99

Der Psychopath

$54.99

Kalkl der abzhlenden Geometrie

$74.99

The Ants Go Marching

$5.24

Diffractive Optics and Nanophotonics

$54.99

A Complete Guide to Gene Cloning: From Basic to Advanced

$129.99

Anatomy of the Eyelid, Orbit, and Lacrimal System

$99.00

Ruby: This Way, Ruby!

$5.24

Foot and Ankle Fusions

$99.99

Philosophy and The Hitchhiker's Guide to the Galaxy

$29.99

Pattern Recognition and Image Analysis

$109.99

Hypertrophic Reservoirs for Wastewater Storage and Reuse

$84.99

Pioniere des Versicherungsgedankens

$59.99

Multiscale Mechanobiology in Tissue Engineering

$109.99

Transactions of the International Astronomical Union

$329.99

Pattern Recognition

$139.99

Optical Binding Phenomena: Observations and Mechanisms

$39.99

Multi-dimensional Urban Sensing Using Crowdsensing Data

$199.99

Aligning Climate Change and Sustainable Development Policies in Asia

$159.99

Weakly Wandering Sequences in Ergodic Theory

$54.99

Protein Metabolism

$39.99

A Mary Shelley Chronology

$84.99

Application and Theory of Petri Nets 1999

$39.99

Beyond Genocide: Transitional Justice and Gacaca Courts in Rwanda

$139.99

Radiation in Space: Relevance and Risk for Human Missions

$69.99

Strafverfahrensrecht

$59.99

Conversations with Birds- The Metaphysics of Bird and Human Communication by Alan Powers

$18.00

Knowledge-Intensive Entrepreneurship

$109.99

A Rhetoric of Aesthetic Power

$159.99

Intracranial EEG

$159.99

Manufacturing Process Design and Costing

$54.99

Flexible Polymer Chains in Elongational Flow

$219.99

Max Bense

$89.99

Statistical and Probabilistic Models in Reliability

$169.00