Introduction to Constraint Databases

ISBN-13: 9781441931559 / Angielski / Miękka / 2010 / 394 str.

Peter Revesz

Opis

PurposeandGoals This textbook provides comprehensive coverage of constraint databases. The p- mary audience of the book is advanced undergraduate and beginning graduate students. For them the extensive set of exercises at the end of each chapter will be useful. The text and the exercises assume as prerequisite only basic discrete ma- ematics, linear algebra, and programming knowledge. Many database experts will also ?nd the bibliographic notes after each chapter a valuable reference for further reading. For both students and database experts the sample systems discussed in Chapters 18 20, as well as some slides, are available free from the author s Web page: http: //cse. unl. edu/ revesz TopicsCoverageandOrganization The dependencies of the chapters are shown in the chart on the next page. The material covered is organized into ?ve broad categories: Models: The material covered includes data abstraction and the relational data model (Chapter 1), the constraint data model (Chapter 2), several s- tiotemporal data models (Chapter 13. 1 3), and data storage (Chapter 17). Queries: Relational algebra and SQL (Chapter 3), Datalog (Chapter 4), Datalog with negation and aggregation (Chapter 5), re?nement queries (Chapter 6), and spatiotemporal database queries (Chapter 13. 4). Evaluation: The evaluation issues discussed are safety (Chapter 8), ev- uation and quanti?er-elimination (Chapter 9), computational complexity viii Preface 1 13. 1 3 2 Models 17 7 43 Queries 5 6 13."

Recenzje

From the reviews:

"Constraints, such as linear or polynomial equalities, are used to finitely represent possibly infinite sets of points. They provide an elegant way to combine classical relational data with, for instance, spatial or temporal data¿.This book¿will certainly play an important role in spreading the ideas behind constraint databases among a wider audience, especially among students¿it offers a strong background in constraint-database theory and comprehensively addresses developer's issues." --SIGMOD Records

"The textbook provides comprehensive coverage of constraint databases. The primary audience ... is for advanced undergraduate and beginning graduate students, but it is also very good reading for all who are interested in database problems. For students it is mainly the extensive set of exercises at the end of each chapter that is useful. ... database experts will also find the rich bibliographic notes after each chapter to be valuable references ... . A special strength of the book is that it allows course design." (Ing. Jaroslav Veselý, Neural Network World, Vol. 14 (6), 2004)

"An interesting book from many views. ... The book summarises interesting information about constraint databases. It is useful for practitioners, researchers and students working in the fields of databases, GIS systems, computer vision systems and any other large information systems with requirements of complex queries, especially with respect to optimization tasks. The book presents an unusual view of database systems and suggests relations to many different areas so that it can be inspirable to anybody using a computer not only as a typewriter." (Tomas Brandejsky, Neural Network World, Vol. 14 (2), 2004)

"This book is the first textbook on constraint databases. ... extensive exercise sets are provided and sample software systems of real-world applications are available on the author's web page. ... The chapters contain valuable bibliographical references for further reading. ... This book takes a unique place and will certainly play an important role in spreading the ideas behind constraint databases ... . There is certainly a need for a book like this. ... I would certainly recommend this book for teaching constraint databases ... ." (Bart Kuipers, Theory and Practice of Logic Programming, Vol. 3, November, 2003)

Spis treści

* Infinite relational databases * Constraint databases * Relational algebra and SQL * Datalog queries * Aggregation and negation queries * Constraint automata * Refinement queries * Safe query languages * Evaluation of queries * Computational complexity * Certification * Implementation methods * Spatio-temporal databases * Interoperability * Approximation by constraints * Data visualization * Indexing * The MLPQ system * The DISCO system *The PReSTO system * Computer vision * Bioinformatics * Environmental modeling