Поскольку вы прямо заявляете, что вас интересует теоретическая перспектива, вот что:
На уровне ЛОГИЧЕСКОГО замысла почти обязательно нужно иметь логический атрибут в таблице (кстати, для теории правильным термином для этого является «relvar», а не «таблица»). Причина в том, что наличие логического атрибута делает очень неудобным определение / документирование значения (теория отношений называет это «Предикатом»), которое relvar имеет в вашей системе. Если вы включите логический атрибут, то предикат, определяющий такое значение relvar, должен будет включать в себя некоторую конструкцию, например «... и здесь -BOOLEANATTRIBUTENAME- этот кортеж был удален». Это неловкое обрезание.
На уровне логического проектирования у вас должно быть две разные таблицы: одна для не удаленных строк, а другая для удаленных строк, которые кому-то еще могут быть интересны.
На уровне ФИЗИЧЕСКОГО дизайна все может быть по-другому. Если у вас много операций удаления и восстановления, или даже большого количества действий по удалению, то физически наличие двух разных таблиц может оказаться плохой идеей. Одна таблица с логическим атрибутом, который действует как «отличительный ключ» между двумя логическими таблицами, действительно может быть лучше. Если, ооо, у вас много запросов, которым нужны только не удаленные, а объем удаленных, как правило, велик по сравнению с не удаленными, может быть, лучше разделить их и физически (и кусать сообщение о, вероятно, худшей производительности обновления, которую вы получите - если бы это было заметно).
Но вы сказали, что вас интересует теоретическая перспектива, и теория (ну, насколько я знаю) на самом деле очень мало говорит о вопросах физического проектирования.
относительно столбца sequenceOrder, который действительно зависит от конкретной ситуации. Я предполагаю, что в большинстве случаев они вам не понадобятся, потому что заказ товаров в соответствии с требованиями бизнеса, скорее всего, будет осуществляться на «значимых» данных. Но я мог бы вообразить, что столбцы sequenceOrder привыкли имитировать метки времени вставки и т.