Logics for Databases and Information Systems Image close
Logics for Databases and Information Systems on Hardback
Logics for Databases and Information Systems on Hardback
Show Hide Adult Content
Logics for Databases and Information Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Logics for Databases and Information Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$526.99
RRP:
$539.95 save $12.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $131.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more The Springer International Series in Engineering and Computer Science

See all products in this series

Foundations of Dependable Computing on Hardback
$406.99
Foundations of Dependable Computing
Hardback
Available - Usually ships in 3-4 weeks
Wavelet Image and Video Compression on Hardback
$411.99
$415.95
Wavelet Image and Video Compression
Hardback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks on Hardback by Nicolaos Karayiannis Save $28
$411.99
$440.95
Artificial Neural Networks
by Nicolaos Karayiannis ~ Hardback
Available - Usually ships in 3-4 weeks
Integrating Graphics and Vision for Object Recognition on Hardback by Mark R. Stevens
$415.99
Integrating Graphics and Vision for Object Recognition
by Mark R. Stevens ~ Hardback
Available - Usually ships in 3-4 weeks
Wavelet, Subband and Block Transforms in Communications and Multimedia on Hardback Save $65
$428.99
$494.95
Wavelet, Subband and Block Transforms in Communications and Multimedia
Hardback
Available - Usually ships in 3-4 weeks
Principles of 3D Image Analysis and Synthesis on Hardback
$412.99
Principles of 3D Image Analysis and Synthesis
Hardback
Available - Usually ships in 3-4 weeks
Automatic Programming Applied to VLSI CAD Software: A Case Study on Hardback by Dorothy E. Setliff
$405.99
Automatic Programming Applied to VLSI CAD Software: A Case Study
by Dorothy E. Setliff ~ Hardback
Available - Usually ships in 3-4 weeks
Synchronous Programming of Reactive Systems on Hardback by Nicolas Halbwachs Save $304
$135.99
$440.95
Synchronous Programming of Reactive Systems
by Nicolas Halbwachs ~ Hardback
Available - Usually ships in 3-4 weeks
Silicon Implementation of Pulse Coded Neural Networks on Hardback Save $87
$406.99
$494.95
Silicon Implementation of Pulse Coded Neural Networks
Hardback
Available - Usually ships in 3-4 weeks
The SECD Microprocessor on Hardback by Brian T. Graham Save $40
$275.99
$316.95
The SECD Microprocessor
by Brian T. Graham ~ Hardback
Available - Usually ships in 3-4 weeks
Communication Protocol Specification and Verification on Hardback by Richard Lai
$539.99
Communication Protocol Specification and Verification
by Richard Lai ~ Hardback
Available - Usually ships in 3-4 weeks
Change of Representation and Inductive Bias on Hardback
$525.99
Change of Representation and Inductive Bias
Hardback
Available - Usually ships in 3-4 weeks
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
$523.99
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time...
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic-Based Artificial Intelligence on Hardback Save $26
$602.99
$629.95
Logic-Based Artificial Intelligence
Hardback
Available - Usually ships in 3-4 weeks
Transaction Management Support for Cooperative Applications on Hardback Save $33
$417.99
$451.95
Transaction Management Support for Cooperative Applications
Hardback
Available - Usually ships in 3-4 weeks
Data Mining in Finance on Hardback by Boris Kovalerchuk Save $14
$524.99
$539.95
Data Mining in Finance
by Boris Kovalerchuk ~ Hardback
Available - Usually ships in 3-4 weeks

Description

The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. In this context, logic offers a wide variety of formalisms that can be applied to the specification, analysis, and prototype implementation of information systems. Such formalisms, for example, temporal logic, provide a sound semantic basis for further extensions and for the development of practical database languages. This text addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modelling, and property inheritance. Each topic is discussed by different researchers in the field. The work is suitable as a secondary text for a graduate level course on Databases and Information Systems, and as a reference for researchers and practitioners in industry.
Release date Australia
March 31st, 1998
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Gunter Saake
  • Edited by Jan Chomicki
Illustrations
XIII, 430 p.
Pages
430
Dimensions
155x235x25
ISBN-13
9780792381297
Product ID
2438099

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Databases >
Data warehousing
Books >
Computers & Internet >
Databases >
Information retrieval
Books >
Computers & Internet >
Computer science >
Artificial intelligence