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

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

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

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

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

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

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

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

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

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

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

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

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

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




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

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

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

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

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

ещё... там вроде какое-то развитие было j, g?!? ни помню... не "оно" случаем?
...
Рейтинг: 0 / 0
01.02.2013, 12:16
| Ответить | Цитировать | Написать  
Алгебра или формальный язык для нереляционных субд
    #38133469
_мод
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
_мод
Гость
Arhat109а какая-нибудь "алгебра" - была, кто ещё помнит?
Собсно Лисп позволяет написать любую алгебру для списков. Можно аналог SQL сбацать.
...
Рейтинг: 0 / 0
01.02.2013, 12:28
| Ответить | Цитировать | Написать  
21 сообщений из 21, страница 1 из 1
Форумы / Проектирование БД [игнор отключен] [закрыт для гостей] / Алгебра или формальный язык для нереляционных субд
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=32&msg=38132508&tid=1541391]:
 0ms
get settings:
 9ms
get forum list:
 9ms
check forum access:
 2ms
check topic access:
 2ms
track hit:
 33ms
get topic data:
 7ms
get forum data:
 2ms
get page messages:
 36ms
get tp. blocked users:
 1ms
others: 228ms
total:  329ms
созд. / загр.: 329ms
x
x
Закрыть


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