Об алгоритме редукции Кодда

Question

Алгоритм Кодда преобразует выражение в корреляционном исчислении в реляционную алгебру.Я хотел бы знать:

1. есть ли стандартная реализация алгоритма?
2. используется ли этот алгоритм где-нибудь?(Поскольку отрасли нужны только SQL и варианты, я не уверен насчет теоретиков баз данных в научных кругах)
3. В чем сложность сокращения?

Answer 1

Реализация алгоритма Кодда должна быть достаточно простой (*), но:

преобразование выражения на одном языке в выражение на другом языке требует, чтобы кто-то знал, что это за «другой язык». Вы можете сказать?

Использование вывода такого преобразования имеет смысл только в том случае, если выходные данные указанного преобразования могут быть включены в исходный код или каким-либо другим способом переданы компилятору, который понимает этот конкретный язык. Знаете ли вы о «стандартном» языке реляционных данных на основе алгебры?

Имо, это две наиболее очевидные причины, почему вряд ли есть смысл в промышленной реализации.

(*), если ваши входные данные представляют собой дерево разбора, состоящее из таких узлов, как , , , , ...