Author

Contributions

  • Saake, Gunter - Contributor

Publication

1998 - Springer US, Boston, MA, Massachusetts

Language

English

Word Count

107,500 words, Guess

Page Count

430 pages

Physical Format

Electronic resource

Identifiers

  • Internet Archivelogicsfordatabas00chom
  • ISBN-101461375827
  • ISBN-101461556430
  • ISBN-139781461375821
  • ISBN-139781461556435
and 4 more
  • OCLC Control Number851800231
  • Better World Books9781461375821
  • Better World Books9781461556435
  • Open LibraryOL27071648M

Classifications

  • DDC005.74
  • LCCQA76.9.D35
  • LCCQA76.9.D35Q334-342QA

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, e.g., temporal logic, provide a sound semantic basis for further extensions and for the development of practical database languages. Logics for Databases and Information Systems addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. Each topic is discussed by leading researchers in the field. Logics for Databases and Information Systems 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.

Subjects

Series Statement

  • The Springer International Series in Engineering and Computer Science -- 436
  • International series in engineering and computer science -- 436.

Other Editions

  • Logics for Databases and Information SystemsElectronic resourceSpringer US1998-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!