最初のページ
戻る
次へ
最後のページ
画像
リレーショナル論理とは
一階述語論理
を基礎としたデータ処理体系
4J プログラミング言語論,数理論理学の知識が必要
リレーショナル論理式を宣言的に記述
タプルリレーショナル論理
タプルに着目
タプル変数とリレーション名に対応した条件式
ドメインリレーショナル論理
ドメインに着目
ドメイン変数が満たすべき条件式