Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Проектирование БД [игнор отключен] [закрыт для гостей] / Алгебра или формальный язык для нереляционных субд / 21 сообщений из 21, страница 1 из 1
31.01.2013, 10:16
    #38131796
eugene
eugene
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Eugene
не уверен, что этот вопрос должен быть в данной рубрике.
Сейчас в основном распостранены реляционные базы данных. Математическое описание их- реляционная алгебра была предложена Коддом в 1972 г. на основе доменов, кортежей, реляционных отношений
Но, как известно до реляционных были и т.н иерархические СУБД. Делались попытки построения сетевых СУБД. Такой вроде была СУБД ИНЕС разработанная в Москве во ВНИСИ Арлазаровым.
Сейчас также есть объектные СУБД.
Означает ли это что для каждой из этих типов СУБД можно предложить алгебру или формальный язык описания операций с ними? Если да, что это в математике
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 10:37
    #38131834
mad_nazgul
mad_nazgul
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene,

Нет.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 11:38
    #38131954
_мод
_мод
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene
Иерарх. МД это граф типа дерево. Для ней был язык запросов, который определял порядок обхода дерева, аналогично запросу в SQL. Сетевая МД более путаная и для нее такого языка не придумали.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 11:45
    #38131969
Бредятина
Бредятина
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugeneEugene
не уверен, что этот вопрос должен быть в данной рубрике.
Сейчас в основном распостранены реляционные базы данных. Математическое описание их- реляционная алгебра была предложена Коддом в 1972 г. на основе доменов, кортежей, реляционных отношений
Но, как известно до реляционных были и т.н иерархические СУБД. Делались попытки построения сетевых СУБД. Такой вроде была СУБД ИНЕС разработанная в Москве во ВНИСИ Арлазаровым.
Сейчас также есть объектные СУБД.
Означает ли это что для каждой из этих типов СУБД можно предложить алгебру или формальный язык описания операций с ними? Если да, что это в математике
13752822
13755686
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 12:47
    #38132119
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene,

предположу, чо для всех этих случаев (иерархическая, сетевая, объектная) надо смотреть в сторону теории графов... вряд ли что-то есть вразумительно полезное, да ещё и в симбиозе с теорией множеств (Вам же хочется иметь множественную работу с объектами и их иерархиями/сетями)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 12:52
    #38132134
vadiminfo
vadiminfo
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene Означает ли это что для каждой из этих типов СУБД можно предложить алгебру или формальный язык описания операций с ними?
Однако, по сравнению с реляционной алгеброй, оные могут выглядеть не очень впечатляюще. Иначе бы к этому времени предоложили. Такие попытки делались для ООМД - в рефереративном журнале видел давно.
Все дело что алгебра алгебре рознь. Например, в теории групп больше результатов, чем в теории полугрупп.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 12:54
    #38132142
mad_nazgul
mad_nazgul
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Arhat109eugene,
предположу, чо для всех этих случаев (иерархическая, сетевая, объектная) надо смотреть в сторону теории графов... вряд ли что-то есть вразумительно полезное, да ещё и в симбиозе с теорией множеств (Вам же хочется иметь множественную работу с объектами и их иерархиями/сетями)

Если смотреть в сторону теории графов, то тогда для NoSQL решений все просто печально.
Т.к. есть такое понятие "комбинаторный взрыв".
Соответственно для NoSQL (если их рассматривать с точки зрения теории графов) решений могут существовать конечные наборы данных запросы к которым они не смогут обработать за конечное время.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 14:11
    #38132353
ViPRos
ViPRos
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
mad_nazgulArhat109eugene,
предположу, чо для всех этих случаев (иерархическая, сетевая, объектная) надо смотреть в сторону теории графов... вряд ли что-то есть вразумительно полезное, да ещё и в симбиозе с теорией множеств (Вам же хочется иметь множественную работу с объектами и их иерархиями/сетями)

Если смотреть в сторону теории графов, то тогда для NoSQL решений все просто печально.
Т.к. есть такое понятие "комбинаторный взрыв".
Соответственно для NoSQL (если их рассматривать с точки зрения теории графов) решений могут существовать конечные наборы данных запросы к которым они не смогут обработать за конечное время.
ну да
с СКЛ все проще - замахаешься вручную джойны писать
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 15:08
    #38132508
mad_nazgul
mad_nazgul
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
ViPRosну да
с СКЛ все проще - замахаешься вручную джойны писать

Дык операции над множествами же. :-)
Кто-ж виноват, что вы хотите хотите сложное пересечение/объединение/вычитание из данных множеств.

А в NoSQL - это выпиливается в поиск пути с полным перебором. :-)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 15:11
    #38132516
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
mad_nazgul,

к сожалению, термин NoSQL - мне незнаком. То что есть в Сети, термином ещё не является... каждый подставляет что-то своё. Давайте, что-то конкретное в терминах ТС: "иерархическая БД", "сетевая", "ООБД"... иначе, ни о чем получается.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 16:31
    #38132619
mad_nazgul
mad_nazgul
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Arhat109mad_nazgul,
к сожалению, термин NoSQL - мне незнаком. То что есть в Сети, термином ещё не является... каждый подставляет что-то своё. Давайте, что-то конкретное в терминах ТС: "иерархическая БД", "сетевая", "ООБД"... иначе, ни о чем получается.

Я об этом уже сказал. ;-)

"Означает ли это что для каждой из этих типов СУБД можно предложить алгебру или формальный язык описания операций с ними?" - НЕТ.

Просто я хотел сказать eugene, что если рассматривать все NoSQL ч/з ТГ, то это будет не в плюс NoSQL. ;-)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 20:27
    #38132924
eugene
eugene
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Хорошо. Понятно. Вы все здесь разработчики-программисты-практики.
А что для вас представляет реляционная алгебра - написание конкретных для разработок запросов на SQL? Возможно ли занятие реляционной алгеброй как математикой и где?
Читая про операции реляционной алгебры нашел такую операцию деление. Хоть я знал SQL но что-то на нем такого не припомню.Где по вашему еще может применяться реляционная алгебра кроме написания запросов на SQL?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 20:31
    #38132931
ViPRos
ViPRos
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene,

нигде она и не применяется
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
31.01.2013, 21:06
    #38132959
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene,

Может применяться в операциях оптимизации таблиц и их нормализации, в т.ч. и автоматически, если правильно помню чего это... :)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 09:16
    #38133224
vadiminfo
vadiminfo
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugeneА что для вас представляет реляционная алгебра - написание конкретных для разработок запросов на SQL?

Ну а что вообще дает теория? Теоремы - которые могут использоваться как ответы на какие-то вопросы. Например, сложение и умножение алгебраические операции. Они обладают дистрибутивностью: а*(с+в)=а*с+а*в. Это как бы обосновала теория.
Ну что для Вас представляет это знание когда программируете на С? И думаете ли Вы что это алгебра?




eugeneГде по вашему еще может применяться реляционная алгебра кроме написания запросов на SQL?
Может облегчить жизнь при написании на других реляционных языках. Возможно при проектировании, когда оценваются как и как примерно инфа может быть извлечена.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 10:34
    #38133290
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
eugene,

Для меня РА - это понимание как и какими операциями можно извлечь/запиховать в БД те или иные сущности. А уже потом, как построить конкретный запрос. Принципиальное отличие РА от ЯП - это множественность работы с данными:

"берем это множество кортежей пересекаем с этим отделяем из результата такие-то, объединяем с этим множеством... вот и результат отдаем в порядке таком-то". И мне "все равно" КАК лежат эти множества "где-то там в БД"

... а всё что не подпадает под эту логику (требует конкретных последовательностей обработки) - в терапевту (в ЯП). Хоть оптом в ЯП (терапевт сам разберется), хоть через прямой доступ к БД (handler_socket plugin).
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 11:24
    #38133350
_мод
_мод
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Arhat109Принципиальное отличие РА от ЯП - это множественность работы с данными:
APL посмотрите, прежде чем делать столь скоропалительные выводы
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 12:10
    #38133428
alexeyvg
alexeyvg
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
_модArhat109Принципиальное отличие РА от ЯП - это множественность работы с данными:
APL посмотрите, прежде чем делать столь скоропалительные выводы Имелись в виду используемые ЯП (насколько массово используется АПЛ обычными программистами?); а так да, ЯП работающих со множествами тысячи, если не больше (если считать написание таких языков в качестве всяких курсовиеков и дипломных проектов в вузах).
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 12:13
    #38133442
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
_мод,

о, да! Про это "чудо" совсем уже забыл... кстати, там вроде были операции с массивами... а какая-нибудь "алгебра" - была, кто ещё помнит?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 12:16
    #38133446
Arhat109
Arhat109
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Arhat109,

ещё... там вроде какое-то развитие было j, g?!? ни помню... не "оно" случаем?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
01.02.2013, 12:28
    #38133469
_мод
_мод
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алгебра или формальный язык для нереляционных субд
Arhat109а какая-нибудь "алгебра" - была, кто ещё помнит?
Собсно Лисп позволяет написать любую алгебру для списков. Можно аналог SQL сбацать.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / Проектирование БД [игнор отключен] [закрыт для гостей] / Алгебра или формальный язык для нереляционных субд / 21 сообщений из 21, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 443ms
Закрыть
start [/forum/topic.php?fid=32&tablet=1&tid=1541391]:
 0ms
get settings:
 11ms
get forum list:
 20ms
check forum access:
 5ms
check topic access:
 5ms
track hit:
 78ms
get topic data:
 11ms
get forum data:
 3ms
get page messages:
 56ms
get tp. blocked users:
 1ms
others: 253ms
total:  443ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]