Üç Değerli Mantığın Uygulaması Olarak Yapılandırılmış Sorgu Dili (SQL)

Creative Commons License

Kamer V.

VII. Mantık Çalıştayı, Kamer V., Ural Ş., Editör, Mantık Derneği Yayınları, İstanbul, ss.367-375, 2017

  • Yayın Türü: Kitapta Bölüm / Araştırma Kitabı
  • Basım Tarihi: 2017
  • Yayınevi: Mantık Derneği Yayınları
  • Basıldığı Şehir: İstanbul
  • Sayfa Sayıları: ss.367-375
  • Editörler: Kamer V., Ural Ş., Editör
  • İstanbul Üniversitesi Adresli: Evet

Özet

ÖZ

NULL, yapılandırılmış sorgu dilinde (SQL: Structured Query Language), veriye ait değerin veritabanında bulunmadığını gösteren özel bir işarettir. NULL, karşılaştırma işlemleri bakımında yapılandırılmış sorgu dilini üç değerli bir mantık üzerine oturtmaktadır. Yapılandırılmış sorgu dilinin kullandığı üç değerli mantığın temel özellikleri değerlendirilerek; yapılandırılmış sorgu dilinin mantık öğretiminde kullanım olanakları üzerine durulacaktır.

Anahtar Kelimeler: yapılandırılmış sorgu dili. SQL, üç değerli mantık, Stephen Cole Kleene, Jan Łukasiewicz, açık-dünya varsayımı, kapalı dünya varsayımı, mantık uygulamaları.

ABSTRACT

NULL is a special marker used in structured query language (SQL) to indicate that a data value does not exist in the database. With NULL, SQL implements three logical results, so SQL implementations provide a speacialized three-valued logic (3VL). By evaluating the basic properties of the three-valued logic used by the structured query language; the use of structured query language in logic teaching will be emphasized. Keywords: structured query language, SQL, three-valued logic, Stephen Cole Kleene, Jan Łukasiewicz, open-world assumption, closed-world assumption, applications of logic.