Без заголовка

Ну, трипл-сторы начиная с пяти реляционных join, по слухам, выигрывают уже по скорости у реляционок -- там ведь тоже оптимизаторы разные бывают. В любом случае, модальность как-то нужно моделировать (чаще всего просто пришивают сбоку классификатор, который классифицирует ту или иную модальность. И нужно понимать, как с этими модальностями обходиться по-другому. Место, где изучают модальные логики в связи с компьютингом сейчас -- это агентский подход. Там как раз и онтологии, и модальности, и всякое разное бывает. Хотя там базоданческая тематика и не обсуждается, там свои тараканы на этот счёт -- логики да онтологии, но не базы данных). SQLite4 перспективная штука, конечно. В этом году большинство NoSQL движков обещают обзавестись SQL интерфейсом, как это бы странно ни звучало. Ибо это всё аристотель у них там внутре.