Новое сообщение в форум Философия программирования

Форум	Философия программирования
Тема	Как правильно задавать вопросы

Здравствуйте, vdimas, Вы писали:

V>Здравствуйте, Sinclair, Вы писали:

V>>>Ну, предположим, операции над примитивами реляционной алгебры, выраженными в некоторых структурах данных, я напишу. Так же как транзакции, и чего? 
S>>Покажите код, который будет пользоваться этими операциями.
S>>Скажем, аналог 
S>>[sql]
S>>select Manager.Name, OrderTotals.Amount 
S>>from Manager 
S>>inner join City on City.ID = Manager.CityID
S>>inner join 
S>>  (select ManagerID, sum(Orders.Amount) from Orders where Orders.OrderDate between '20100101' and '20101231' group by ManagerID) 
S>>    OrderTotals on OrderTotals.ManagerID = Manager.ID
S>>where City.Name like 'Н%'
S>>order by 2 desc
S>>[/sql]

V>До получения кода надо получить набор операций в терминах РА. Я не так давно тебе уже показывал как это делается и как это выглядит. (если настаиваешь, поищу ссылку). 
V>После этого подставляешь имеющиеся алгоритмы, реализующие примитивы РА над нужными структурами, в которых хранятся данные сущностей Manager, City и прочих. Сами алгоритмы могут быть как энергичными, так и ленивыми на итераторах...

V>Если же ты о перезаписи операций и прочей оптимизации - то это совсем отдельные операции, которые тоже, впрочем, достаточно формализованы.

V>>>Матан - это не теоремы, это исследование ф-ий и их систем. 
S>>Он про [url=http://lurkmore.to/%D0%9C%D0%B0%D1%82%D0%B0%D0%BD]другой матан[/url].

V>Это он тебе сам сказал? :)
V>Таким макаром можно далеко пойти, называя матаном любую формальную модель... даже если это модель табурета. :)

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail