関係代数の選択条件内の関数

Question

関係代数の選択条件内でユーザー定義関数を使用できますか？

例：X1、X2：距離は属性の値を操作する関数である距離（X1、X2、Y2、Y2）< R σ<selection condition>(R)で

：

は<selection condition>することができます、y1とy2。

ありがとうございました

Answer 1

はい。

「a = b + c」も正しく書くことができます（ヒント：意味的には関数plus（b、c）を呼び出すのと同じです）。したがって、PLUS関数を呼び出すことが許可されている場合、他のものを除外するためにはどのような合理的な根拠がありますか（距離など）？

まあ、非決定的関数を含めるために少し無意味である（ここで、x = RANDOM（））それでもそこにそれが出て捕えなければならない理由、それは不明だ...

いえば技術的には、選択条件RA（つまり、RESTRICT演算子の選択条件 "引数"）は、それをサポートするプログラミング言語のラムダのようなものであり、ラムダは実際には任意の関数である可能性があります。

インプリメンテーションごとに、特定の種類の式が効果的に除外されます。副作用の更新（++増分など）がある式ですが、単なる代数式を紙に書いているだけでは問題になりません。