Michael Benedikt is Professor of Computer Science at Oxford University and a fellow of University College Oxford. He came to Oxford after a decade in U.S. industrial research laboratories, including positions as Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs. He has worked extensively in mathematical logic, finite model theory, verification, database theory, and database systems, and has served as chair of the ACM's main database theory conference, Principles of Database Systems. The current focus of his research is Web data management, with recent projects including querying of the deep Web, querying and integration of annotated data, and querying of web services.

• Preface.- Acknowledgments.- Introduction.- Vocabulary-based Target Restrictions.- Access Methods and Integrity Constraints.- Reformulation Algorithms for TGDs.- Low-cost Plans Via Proof Search.- Conclusion.- Bibliography.- Authors' Biographies.- Index.

Michael Benedikt is Professor of Computer Science at Oxford University and a fellow of University College Oxford. He came to Oxford after a decade in U.S. industrial research laboratories, including positions as Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs. He has worked extensively in mathematical logic, finite model theory, verification, database theory, and database systems, and has served as chair of the ACM's main database theory conference, Principles of Database Systems. The current focus of his research is Web data management, with recent projects including querying of the deep Web, querying and integration of annotated data, and querying of web services.

• Preface.- Acknowledgments.- Introduction.- Vocabulary-based Target Restrictions.- Access Methods and Integrity Constraints.- Reformulation Algorithms for TGDs.- Low-cost Plans Via Proof Search.- Conclusion.- Bibliography.- Authors' Biographies.- Index.

Michael Benedikt is Professor of Computer Science at Oxford University and a fellow of University College Oxford. He came to Oxford after a decade in U.S. industrial research laboratories, including positions as Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs. He has worked extensively in mathematical logic, finite model theory, verification, database theory, and database systems, and has served as chair of the ACM's main database theory conference, Principles of Database Systems. The current focus of his research is Web data management, with recent projects including querying of the deep Web, querying and integration of annotated data, and querying of web services.

• Preface.- Acknowledgments.- Introduction.- Vocabulary-based Target Restrictions.- Access Methods and Integrity Constraints.- Reformulation Algorithms for TGDs.- Low-cost Plans Via Proof Search.- Conclusion.- Bibliography.- Authors' Biographies.- Index.