問題タブ [tuple-relational-calculus]

バンクーバー市にある会社で働くすべての従業員の名前、会社名、マネージャー名を検索します。

これをタプルリレーショナル計算でどのように書くのですか? 私は長い間これを考えてきました。「管理する」となると、manages.manager_name から employee.person_name への対処方法がわかりません。

タプル関係計算 (TRC)とドメイン関係計算 (DRC)とは? それらは関係代数とどう違うのですか?

私はDBMS分野で初めてです。しかし、関係代数の基礎を学びました。

SQL クエリをタプル リレーショナル計算に変換しようとしていますが、NOT EXIST行き詰まる原因があります。

SQL クエリ:

私はすでに始めました：

これは私が立ち往生しているところです。とNOT EXISTSの両方からのものであることをどのように示すのですか? 私が書くと、これは二重にネストされたSQLクエリになり、上記のものではなくなります。a2b2¬∃a2 ∈ a ¬∃b2 ∈ b

I have these three tables:

The cardinality between the Customer and the Rent table is (1,6) and the cardinality between the Rent and the Book table is (1,infinity).

Using relational calculus's syntax, I would define a (0,1) cardinality like this:

But how can I define a (1,6) cardinality?

タプルリレーショナル計算で量指定子が必要なのはなぜですか?
私がこの声明を持っているとしましょう：

{S.sname | Student の S および (Grade の G が存在する)(Ss# = Gs#)};

代わりにこれを使用できないのはなぜですか?

{S.sname | S が Student で G が Grade で、Ss# = Gs# };

タプル リレーショナル計算に変換する必要がある 2 つの SQL クエリがあります。最初のクエリ

かなり明白なようです（私が正しく理解していれば）：

しかし、2番目のもの：

結合があり、それを変換する必要がある良い例が見つかりませんでした。誰か説明を手伝ってくれませんか？