Signature ADTs
Three different types of signature: tuple, page, bit-slice
Each has its own ADT, but all ADTs are similar
Bits makeXSig(Reln r, Tuple t)
- build a signature of type
X for tuple t
void findPagesUsingXSigs(Query q)
- uses
Xsig to build bit-string of potentially-matching pages
- result is stored in
q->pages (of type Bits )
Note: don't need makeBitSliceSig() ; it uses page signatures
|