Logics for Databases and Information Systems, Vol. 436
Jan Chomicki (Editor), Gunter Saake (Editor), Gunter SaakeBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
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.
Synopsis
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.
Booknews
A supplementary textbook for an advanced graduate database course and a reference for database researchers. Demonstrates the various applications of logic in databases and information systems through a series of fairly broad case studies, each addressing a specific aspect either of databases or information systems or a specific logical formalism. Among them are temporal logic, deontic logic for specification, programming database transactions, incomplete information, and declarative frameworks for inheritance. Annotation c. by Book News, Inc., Portland, Or.