Database Systems II Record Organization CMPT 454, Simon Fraser - PDF document

Database Systems II Record Organization CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 75 Introduction We have introduced secondary storage devices, in particular disks. Disks use blocks as basic units of transfer and storage. In a DBS, we have to manage entities, typically represented as records with attributes (relational model). Attribute values (data items) can be complex: texts, images, videos. How to organize records on disk? CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 76

Introduction Data Items Records Blocks Files Memory CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 77 Data Items Short Integer, unsigned (16 Bits) 00000000 00100011 e.g., 35 is 2 5 + 2 1 + 2 0 Short Integer, signed e.g., -35 is 10000000 00100011 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 78

Data Items Floating point (32 Bits, single precision) 1 bit for sign, m for exponent, n bits for mantissa = 0.15625 124 1.01 (binary) = 1.25 (decimal) value = (-1) sign x 2 exponent – bias x 1.fraction bias = 2 m-1 -1 = 127 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 79 Data Items Characters various coding schemes suggested most popular is ASCII 1 Character = 1 Byte = 8 Bits examples A: 1000001 a: 1100001 5: 0110101 LF: 0001010 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 80

Data Items String of characters NULL-terminated e.g., VARCHAR c a t m o u s e length indicator e.g., 3 c a t 4 m o u s e fixed length CHAR do not need terminating NULL or length indicator CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 81 Records Fixed format e.g., relational data model record is list of data items number and type of data items fixed vs. variable format e.g., XML number of data items variable Fixed length vs. variable length e.g., VARCHAR, blobs, repeating fields CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 82

Records Record header keeps general information about the record. Header contains (some of) the following: - pointer to schema, - record types, - record length (to skip record without consulting schema), - timestamp of last access, - pointers (offsets) to record attributes. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 83 Fixed-Length Records Fixed length records are the simplest format. Header contains only pointer to schema, record length and timestamp. Example (1) id, 2 byte integer (2) name, 10 char. Schema (3) dept, 2 byte code 55 s m i t h 02 Records 83 j o n e s 01 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 84

Variable-Length Records Variable length records first store fixed length fields, followed by variable-length fields. Header contains also pointers (offsets) to variable-length fields (except first one). NULL values can be efficently represented by null pointers in the header. header birthdate name address fixed variable CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 85 Variable Format Records Variable format records are self-describing. Simplest representation as sequence of tagged fields. Record header contains number of fields. Tag contains - attribute name, - attribute type, - field length (if not apparent from attribute type). CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 86

Variable Format Records Example 2 5 I 46 4 S 4 F O R D Code identifying Code for EName Value Length of str. Value # Fields Integer type String type field as E# CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 87 Packing Records Into Blocks Introduction How to pack records into blocks? Need to address the following issues - separating records, - spanned vs. unspanned, - mixing record types, - ordering records, - addressing records, - BLOBs. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 88

Packing Records Into Blocks Separating records for fixed-length records, no need to separate for variable-length records use special marker or store record lengths (or offsets) - within each record - in block header CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 89 Packing Records Into Blocks Spanned vs. unspanned Unspanned records on a single block R1 R2 R3 R4 R5 block 1 block 2 Spanned records split into fragments that are distributed over multiple blocks R3 R3 R7 R1 R2 R4 R5 R6 (a) (b) (a) block 1 block 2 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 90

Packing Records Into Blocks Spanned vs. unspanned Spanning necessary if records do not fit in a block, e.g. if they have very long fields (VARCHAR, blob). Spanning useful for better space utilization, even if records fit in a block. R1 R2 2050 bytes wasted 2046 2050 bytes wasted 2046 CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 91 Packing Records Into Blocks Spanned vs. unspanned Spanned records requires extra header information in records and record fragments: - is it fragment? (bit) - if fragment, is it first or last? (bit) - if applicable, pointers to previous/next fragment. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 92

Packing Records Into Blocks Mixing record types Can we mix records of different types (relations)in same block? Why should we? Records that are frequently accessed together should be in the same block (clustering). e1 d1 d2 EMP DEPT DEPT Compromise: no mixing on same block, but keep related records in same cylinder. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 93 Packing Records Into Blocks Ordering records Want to efficiently read records in order Ordering records in file and block by some key value (sequential file) Implementation options - next record physically contiguous R1 Next (R1) - link to next record R1 Next (R1) CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 94

Packing Records Into Blocks Ordering records Overflow area header R1 R2.1 R2 records in R1.3 sequence R3 R4.7 R4 R5  links more flexible under modifications, but require random I/O CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 95 Packing Records Into Blocks Addressing records In memory records have virtual memory address. How to address a record on disk? Trade-off between efficiency of dereferencing and flexibility in moving records over time Many options, from purely physical to fully indirect (logical) CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 96

Packing Records Into Blocks Addressing records Purely physical direct address on disk Record address (record ID) consists of cylinder # track # block # offset in block  efficient access, but cannot move record within block or across blocks CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 97 Packing Records Into Blocks Addressing records Fully indirect (logical) address (record ID) can be any bit string, needs to be mapped to physical address map Physical Rec ID addr. Typically Often ≤ 8 Bytes 8-16 Bytes!  inefficient access, but can move record anywhere CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 98

Packing Records Into Blocks Addressing records Indirection in block Header Free space offsets R3 R4 R1 R2  compromise between physical and fully indirect CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 99 Packing Records Into Blocks BLOBs Sometimes, very large data items, e.g. images, videos,. . . Store them as Binary Large Objects (BLOBs) Stored as spanned sequence of blocks - preferably contiguous on disk, - possibly even striped over several disks. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 100

Record Modifications Insertions If record order does not matter, just append record to file, i.e. find a block of that file with empty space. If order does matter, may be more complicated. First locate corresponding block. If block has enough space left, insert record there and rearrange records in block. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 101 Record Modifications Insertions If block does not have enough space left, use one of the two following strategies: - find space in nearby block predecessor or successor in sort order - create overflow block and link it into chain of blocks  only if order implemented by links CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 102

Record Modifications Insertions Overflow blocks raise the following issues: Free space - How much free space to leave in each block, track, cylinder? - How often to reorganize file and overflow area? CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 103 Record Modifications Deletions Try to reclaim space. Either move around records within a block or maintain available-space list. Must avoid dangling pointers to deleted records. Typical approach: place tombstone in place of deleted record. CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 104

Record Modifications Deletions physical record IDs This space This space can never re-used be re-used CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 105 Record Modifications Deletions logical record IDs map ID LOC Never reuse ID 7788 nor 7788 space in map... CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 106