mayton,


я-то дома, сам с собой, русским яз ы ком всегда разговариваю...

кто такая


?
Следует ли понимать, что это такая b5, которая в субботу вечером стоит на второй позиции записи "решения"?

А кто такие d6e и 7g2? Для ослабленного субботой взгляда тут либо e и 7 лишние, если образец фиксирует расстановку, либо прилично было бы явить миру, как они связаны с определением "домена".

А доменный индекс можно построить по любой детерминированной функции, возвращающий скалярное значение само по себе пригодное для индексации.
До 12.2 можно изобретать форму записи, умеющую отображать факт того, что тебя интересует
ферзь установленный в 4й вертикали на 6й горизонтали (что-то вроде '001005006%' для начала твоей недоопознаваемой кодировки), или что-то другое, для чего сгодился бы вариант такого текстового индекса.
В 12.2 можно строить индексы на json-полях.
--------------
PS
Попробуй выразить свои мысли на Прологе.
Может быть это приведет к совсем другой форме вопросов про индексы.

booby,
ой, для 1000 4 знакоместа потребуется...

boobybooby,
ой, для 1000 4 знакоместа потребуется...
угу и '00010005____0006%'

mayton,
эти термины могут использоваться как синонимы.

Но, кроме того, под доменными индексами специфически понимаются специальные конструкции, живущие в собственных таблицах, снабженных вполне обычными индексами, поиск по которым идет специальными функциями.
В частности, текстовые индексы в рамках Oracle Text, поддерживаются таблицами и кодом, живущим в схеме ctx, и текстовые индексы CTX - именно доменные индексы во втором смысле.
А json-индексы - синтаксический сахар над текстовыми.
Т.е. для поддержки доменных индексов нужна а) доменная математика, раскрывающая "смысл домена", б) вспомогательные (обычные)таблицы/индексы/код обеспечивающие поиск, контекст которого специфичен для домена.
В этом смысле доменные индексы могут никак не соотносится с тем, что обычно понимается под индексами, и даже не иметь формы стандартного синтаксического объявления.
Хотя для доменов поддерживаемых из коробки самим oracle, что-то на уровне синтаксиса как правило дается.

xtenderПрочитал только статью с мейлру специально, чтобы дать мозгу подумать без подсказок и не верится, что это такая уж тяжелая задача: каждый ферзь стоит на своей отдельной горизонтали/вертикали, так разве трудно для современных машин проверить такое... можно даже наверное взять 1024 для ровной битовой маски.
существо дело в вычислительной сложности задачи.
Логически задачу можно видеть как разделенную на две части:
1) сгенерировать все возможные комбинации расположения n ферзей на доске nxn
2) отобрать среди них "правильные" - применительно к ферзям - такие, где на каждой вертикали расположен ферзь и он не бьется никаким другим из расставленных.

В своей сути это арифметическая задача, описание которой есть у Гика в книжке "Шахматы и математика":
Дан набор числе от 1 до n
Частным решением считается последовательность числе от 1 до n такая что:
- все числа использованы
- ни одно не повторяется дважды
- если n - максимальный (последний) номер, i - номер позиции, а f(i) - число записанное в позиции i, то:
а) последовательность f(i) + i дает набор не повторяющихся чисел и
b) последовательность f(i) + n - i + 1 также дает набор не повторяющихся чисел.

Для таких наборов известно, что если i,j - позиции и i<j<=n, то abs(f(i)-f(j)) <> (j - i)

Первоначальный вопрос - как получить все возможные расстановки.
Обсуждаемый на миллион вопрос - о получении подмножества расстановок на доске 1000x1000 таких, что занятость части позиций есть входное условие задачи при условии, что решения могут быть получены за полиномиальное время.

Существо дела здесь в том, что сама по себе генерация расстановок без повторов асимптотически занимает время порядка n!.
И совсем не очевидно, как именно знание части расстановки помогает гарантированно уйти от сплошной генерации всех.
(Соображения сорта "мы прервем генерацию как только поймем, что результат не соответствует правилам" не годятся, ждут метода сорта сложения/умножения)

И смысл задачи по существу такой - могут ли быть выявлены такие алгебраические свойства требуемых расстановок, которые позволят применить некоторую регулярную математику
на выявленных алгебраических структурах так, что общее время поиска решения окажется ниже факториального в смысле О-большого.

Применительно к базам данных вопрос - как ускорить двухфазный процесс, состоящий из фазы записи набора данных в таблицу и фазу наложения фильтра, путем резкого сокращения объема данных на фазе добавления записей.