Foundations of Databases

Foundations of Databases

Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.

Publication date: 31 Dec 1995

ISBN-10: 0201537710

ISBN-13: n/a

Paperback: 678 pages

Views: 13,405

Type: Textbook

Publisher: Addison-Wesley Publishing

License: Standard Copyright License

Post time: 08 Feb 2017 01:00:00

Foundations of Databases

 Foundations of Databases Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.
Tag(s): Relational Database
Publication date: 31 Dec 1995
ISBN-10: 0201537710
ISBN-13: n/a
Paperback: 678 pages
Views: 13,405
Document Type: Textbook
Publisher: Addison-Wesley Publishing
License: Standard Copyright License
Post time: 08 Feb 2017 01:00:00
About the Book:

Over the past two decades, the theory concerning the logical level of database management systems has matured and become an elegant and robust piece of science. Foundations of Databases presents indepth coverage of this theory and surveys several emerging topics. Written by three leading researchers, this advanced text presents a unifying and contemporary perspective on the field. A major effort in writing the book has been to highlight the intuitions behind the theoretical development.

From the Preface:
The book is aimed at an eclectic audience. Most broadly, it should be a useful resource for any computer scientist or mathematician who wishes to find out what database theory is about. Database researchers and practitioners should find it useful as a reference to both classical material and to advanced topics, otherwise scattered in sometimes hard-to-read papers. As a textbook, it is aimed at graduate students and seniors who would use the book as the main text in a database theory course or as complementary material in a database systems course. The book is fairly self-contained. Some needed background is provided concisely in the preliminaries, and the reader is told where more can be found.




About The Author(s)


Senior researcher at INRIA, ENS Paris and Distinguished Adjunct Professor at ENS Cachan.

Serge Abiteboul

Senior researcher at INRIA, ENS Paris and Distinguished Adjunct Professor at ENS Cachan.


Richard (Rick) Hull joined the IBM T.J. Watson Research Center in May, 2008.  He is currently working on developing a framework for a Blockchain-enabled Business Collaboration Language (see recent paper and slides), and on applications of Cognitive Computing for BPM (see recent paper). He is also working on information extraction and big data analytics solutions, with applications in the business-to-business and business-to-consumer realms.

Rick Hull

Richard (Rick) Hull joined the IBM T.J. Watson Research Center in May, 2008.  He is currently working on developing a framework for a Blockchain-enabled Business Collaboration Language (see recent paper and slides), and on applications of Cognitive Computing for BPM (see recent paper). He is also working on information extraction and big data analytics solutions, with applications in the business-to-business and business-to-consumer realms.


Victor Vianu is a Professor in the Department of Computer Science and Engineering at the U.C. San Diego. His research interests are in database systems and theory. Most recently, he has been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. His current research focuses on automatic verification of interactive data-driven Web services and business processes. He is also interested in the theory of query languages and computational logic.

Victor Vianu

Victor Vianu is a Professor in the Department of Computer Science and Engineering at the U.C. San Diego. His research interests are in database systems and theory. Most recently, he has been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. His current research focuses on automatic verification of interactive data-driven Web services and business processes. He is also interested in the theory of query languages and computational logic.


Book Categories
Sponsors