Предпосылка - помните, что основанная на SQL * СУБД 1 является (вполне способным) механизмом логического вывода, как видно из этих сравнений между SQL и Prolog:
Чтобы обратиться конкретно к вашим пространственно-временным заявкам, эта книга поможет:
То есть, сочетание теории интервалов и отношений возможно для эффективного рассуждения о пространственно-временных проблемах (см. 5.2 Применение интервалов ).
Конечно, если ваша СУБД на базе SQL (пока) не оснащена интервальными (и другими) операторами, вам необходимо соответствующим образом расширить ее ( с помощью хранимых процедур и / или пользовательских функций). - UDFs).
Обновление: просмотр бумаги, на которую указано в комментариях к timemirror ( На пути к пространственному языку трехмерных запросов для построения информационных моделей ) они в основном выполняют то, к чему я прикасался выше:
(последняя страница)
КОНЦЕПЦИИ ОСУЩЕСТВЛЕНИЯ
Реализация аннотации
Система типов в язык запросов будет
будет выполняться на основе запроса
язык SQL, который широко
установленный стандарт в области
объектно-реляционные базы данных.
международный стандарт SQL: 1999
расширяет реляционную модель до
включают объектно-ориентированные аспекты, такие как
как возможность определить комплекс
абстрактные типы данных со встроенными
методы.
Я не согласен с терминологией «объектно-реляционная база данных» (здесь не по той причине), но я думаю, что остальное уместно.
Обновление: цитата, относящаяся к 3D и теории интервалов из цитированной выше книги:
ПРИМЕЧАНИЕ: все обсуждаемые интервалы
до сих пор можно думать как
одномерно. Тем не менее, мы могли бы
хочу совместить два одномерных
интервалы, чтобы сформировать двумерный
интервал. Например, прямоугольная
Земельный участок можно рассматривать как
двумерный интервал, потому что это
по определению является объектом с
длина и ширина, каждая из которых
в основном одномерный интервал
измеряется вдоль некоторой оси. И из
Конечно, мы можем распространить эту идею на любой
количество измерений . Например,
(довольно просто!) здание может быть
рассматривается как трехмерное
интервал: это объект с длиной,
ширина и высота, или, другими словами,
кубовидный. (Более реалистично,
Здание может рассматриваться как набор
несколько таких кубоидов, которые перекрываются в
различными способами.) И так далее. В чем
следует, однако, мы будем ограничивать наши
внимание к одномерным интервалам
в частности, за исключением явного
заявления об обратном, и мы
опустим "одномерный"
квалификатор для простоты.
Примечание
- Я написал на основе SQL , а не реляционный , потому что существуют способы использования таких СУБД, которые полностью отклоняются от теории отношений.