Это было давно. Существует масса эвристик ограничить полный перебор и очень существенно.

Может. Да и алгоритмы сейчас уже, машины "пописывают самостоятельно". Хотя, если точнее - кодируют разные ER-диаграммы.

Аналогично, советую перечитать эту древность вдумчиво. Строится это всё и весьма примитивно.

"Только так, только личная инициатива и напряженная работа над собой. .. Нужно своей собственной рукой все делать" (с) В.В. Путин(а не на "вертикаль власти" надеяться)