タグ

multi-valued-logicに関するnabinnoのブックマーク (4)

  • 3値論理

    なぜ「= NULL」ではなく「IS NULL」と書かなくてはならないのか? これは、気になっている人も多いはずです。まだ SQL に不慣れな頃、ある列が NULL である行を選択しようとして、 SELECT * FROM table_A WHERE col_1 = NULL; というクエリを書いてしまい、エラーになったり思い通りの結果が得られなかった、という経験は、ほぼ全ての人が持っているでしょう。ちょうど C言語や JAVA を習い始めのころに「if (a = 5)」と書いてしまう間違いとよく似ています。最初は、言語仕様の汚さにぶつぶつ文句をいいながらも、そのうち「IS NULL」という書き方に慣れてしまって、疑問を持たなくなります。 でもどう考えても奇妙な書き方ですよね。こんな素直でない書き方をしなくてはならないということには、やはりそれなりの理由があるのです。今からその理由を説明しま

  • 多値論理 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "多値論理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2019年12月) 多値論理(たちろんり)とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 様々な「多値」[編集] 多値論理の背景のひとつに『真』『偽』以外に『不明』というのもあってよいのではないかという発想がある。そこから直接出てくるものは3値論理であるが、3個というのはどうにも収まりが悪く、4つの真理値を持つ体系も研究された。更にもっと多くの有限個、あるいは無限個の真理値を持つ体系などもあ

  • 3値論理 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2022年12月) 3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。 古典論理は排中律を前提としているが、クルト・ゲーデルによって「正しいが証明できない命題」が存在することが証明されたため、「二重否定の除去」を認めない直観主義論理などが成立した。これは様相論理学の一種ともいえ、「真であることが証明可能である」「偽であることが証明可能である」「真であるか偽であるかが証明不能である」の三つの真偽値を考える必要があった。 概要[編集] 古典論

  • データベース設計におけるNULL - kawasima

    NULL絶対ダメ論や現実的には無理だから上手く付き合っていくしかないんだよ論など見られるが、せっかくCodd博士が上図の分類を提示しておられるので、これを元にもっと詳細化して考えてみよう。

    データベース設計におけるNULL - kawasima
  • 1