000 -LEADER |
fixed length control field |
05692nam a2200685 i 4500 |
001 - CONTROL NUMBER |
control field |
6812940 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200413152903.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
fixed length control field |
m eo d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn |||m|||a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
110814s2011 caua foab 000 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781608452798 (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
9781608452781 (pbk.) |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.2200/S00363ED1V01Y201105DTM018 |
Source of number or code |
doi |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(CaBNVSL)gtp00549314 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)743246512 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
CaBNVSL |
Transcribing agency |
CaBNVSL |
Modifying agency |
CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.9.D26 |
Item number |
T654 2011 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.74 |
Edition number |
22 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Toman, David. |
245 10 - TITLE STATEMENT |
Title |
Fundamentals of physical design and query compilation |
Medium |
[electronic resource] / |
Statement of responsibility, etc. |
David Toman and Grant Weddell. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : |
Name of publisher, distributor, etc. |
Morgan & Claypool, |
Date of publication, distribution, etc. |
c2011. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 electronic text (xii, 110 p.) : |
Other physical details |
ill., digital file. |
490 1# - SERIES STATEMENT |
Series statement |
Synthesis lectures on data management, |
International Standard Serial Number |
2153-5426 ; |
Volume/sequential designation |
# 18 |
538 ## - SYSTEM DETAILS NOTE |
System details note |
Mode of access: World Wide Web. |
538 ## - SYSTEM DETAILS NOTE |
System details note |
System requirements: Adobe Acrobat Reader. |
500 ## - GENERAL NOTE |
General note |
Part of: Synthesis digital library of engineering and computer science. |
500 ## - GENERAL NOTE |
General note |
Series from website. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references (p. 105-108). |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Preface -- Acknowledgments -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
1. Introduction -- 1.1 Logical and physical design -- 1.2 Summary -- 1.3 Bibliographic notes -- 1.4 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
2. Logical design and user queries -- 2.1 Logical design in FOL -- 2.1.1 Logical vocabularies -- 2.1.2 Logical constraints -- 2.2 User queries in FOL -- 2.3 Summary -- 2.4 Bibliographic notes -- 2.5 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
3. Basic physical design and query plans -- 3.1 Access paths and simple scanning -- 3.2 Query plan execution -- 3.3 Conjunctive plans -- 3.4 General query plans -- 3.5 Summary -- 3.6 Bibliographic notes -- 3.7 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
4. On practical physical design -- 4.1 References, pointers and linked structures -- 4.1.1 Efficient search and secondary indices -- 4.2 Nulls, partitions and run-time typing -- 4.2.1 Nulls indicating value inapplicable -- 4.2.2 Horizontal partitioning -- 4.2.3 Run-time typing -- 4.3 Built-in functions and hashing -- 4.3.1 Hashing -- 4.4 Two-level store -- 4.4.1 Two-level references -- 4.4.2 ISAM indexing -- 4.5 Summary -- 4.6 Bibliographic notes -- 4.7 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
5. Query compilation and plan synthesis -- 5.1 Beth definability -- 5.2 Conjunctive queries and dependencies -- 5.2.1 The chase -- 5.2.2 Nested loops and right-deep join plans -- 5.2.3 Chase and plan synthesis -- 5.2.4 Equality-generating dependencies -- 5.2.5 Post-processing: assignments and comparisons -- 5.2.6 Post-processing: duplicate elimination -- 5.2.7 Post-processing: cut insertion -- 5.2.8 Extensions to chase: beyond conjunctive queries -- 5.3 First-order queries and constraints -- 5.3.1 Interpolation -- 5.3.2 Interpolants constructively -- 5.3.3 Interpolants vs. plans -- 5.3.4 Interpolants and duplicates -- 5.4 Interpolation vs. chase -- 5.5 Summary -- 5.6 Bibliographic notes -- 5.7 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
6. Updating data -- 6.1 User vs. physical updates -- 6.1.1 Updates, definability, and plans -- 6.2 Updates and complements -- 6.2.1 Complements vs. a cyclic schema -- 6.2.2 Update types -- 6.3 Progressive updates -- 6.3.1 Constant space complements -- 6.4 Summary -- 6.5 Bibliographic notes -- 6.6 Exercises with topics for discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
A. First-order logic -- Signatures -- Syntax -- Semantics -- Proofs and the sequent calculus -- Bibliography -- Authors' biographies. |
506 1# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Abstract freely available; full-text restricted to subscribers or individual document purchasers. |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Compendex |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
INSPEC |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google scholar |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google book search |
520 3# - SUMMARY, ETC. |
Summary, etc. |
Query compilation is the problem of translating user requests formulated over purely conceptual and domain specific ways of understanding data, commonly called logical designs, to efficient executable programs called query plans. Such plans access various concrete data sources through their low-level often iterator-based interfaces. An appreciation of the concrete data sources, their interfaces and how such capabilities relate to logical design is commonly called a physical design. This book is an introduction to the fundamental methods underlying database technology that solves the problem of query compilation. The methods are presented in terms of first-order logic which serves as the vehicle for specifying physical design, expressing user requests and query plans, and understanding how query plans implement user requests. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Also available in print. |
588 ## - SOURCE OF DESCRIPTION NOTE |
Source of description note |
Title from PDF t.p. (viewed on August 14, 2011). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Database design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Querying (Computer science) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
First-order logic. |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
query compilation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
semantic query optimization |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
physical database design |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
database update |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
logical foundations and integrity constraints |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
bag semantics and query plans |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Weddell, Grant E. |
Fuller form of name |
(Grant Edwin), |
Dates associated with a name |
1954- |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
International Standard Book Number |
9781608452781 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis digital library of engineering and computer science. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis lectures on data management, |
International Standard Serial Number |
2153-5426 ; |
Volume/sequential designation |
# 18. |
856 42 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Abstract with links to resource |
Uniform Resource Identifier |
http://ieeexplore.ieee.org/servlet/opac?bknumber=6812940 |