Database in Depth: Relational Theory for Practitioners
Index[SYMBOL] [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] quantifier 2nd don't need both existential other kinds range-coupled sequence universal query rewrite 2nd quota query |