Potongan bentuk klausa dalam pangkalan data

Pangkalan data deduktif dalam SQL atau mana-mana sistem pangkalan data lain ialah alat yang boleh membuat kesimpulan tentang fakta baharu berdasarkan peraturan dan maklumat yang sudah ada dalam pangkalan data. Dalam pangkalan data deduktif, rekod data ialah bahasa yang biasa digunakan untuk menyatakan fakta, peraturan dan pertanyaan. Apabila dinyatakan dalam bentuk klausa, formula terdiri daripada berbilang klausa, setiap satunya terdiri daripada berbilang literal yang disambungkan hanya dengan penghubung logik yang ditandakan dengan simbol OR.

Pengkuantiti berikut boleh digunakan dalam formula -

Universal Quantifier - Ia boleh dibaca sebagai "P(x) berlaku untuk semua x", yang bermaksud bahawa P(x) memegang untuk semua kejadian x dalam alam semesta.

Sebagai contoh, lori mempunyai roda.

Pengkuantiti kewujudan - Ini bermakna P(x) memegang sekurang-kurangnya satu sebutan x dalam alam semesta, dan dinyatakan sebagai "terdapat x sedemikian P(x)".

Contoh: Anda sedang dijaga oleh seseorang.

Rumus bentuk klausa mesti ditukar kepada formula dengan kualiti berikut -

Setiap elemen dalam formula mempunyai nilai kuantitatif. Oleh itu, tidak perlu menambah pengkuantiti universal secara eksplisit untuk semua orang. Apabila pengkuantiti dialih keluar, semua pembolehubah dalam formula dikira secara tersirat oleh pengkuantiti universal.

Andaikan rumus terdiri daripada berbilang klausa, setiap klausa terdiri daripada berbilang literal yang disambungkan hanya oleh kata penghubung logik ATAU, jadi rumus terdiri daripada klausa. Setiap ayat adalah percantuman perkataan.

Ayat itu sendiri hanya disambungkan oleh DAN penghubung logik untuk mencipta formula. Oleh itu, bentuk klausa rumus ialah kata hubung klausa.

Seperti yang dapat dibuktikan, sebarang formula boleh ditukar kepada bentuk klausa. Untuk tujuan kami, struktur klausa individu (yang setiap satunya adalah percabaran literal) adalah kepentingan utama. Ingat, huruf ini boleh menjadi positif atau negatif. Pertimbangkan klausa berikut -

NOT(P1) OR NOT(P2) OR ..... OR NOT(Pn) OR Q1 OR Q2 OR ..... OR Qm

Terdapat m perkataan positif dan n perkataan negatif dalam klausa sebelumnya. Formula logik yang serupa di bawah boleh digunakan untuk menyatakan klausa ini -

P1 AND P2 AND ..... AND Pn => Q1 OR Q2 OR ..... OR Qm

Sebagai contoh, simbol tersirat ialah "=>".

Formula kedua adalah benar hanya jika sekurang-kurangnya satu Q adalah benar, iaitu maksud tanda (tersirat). Ini benar jika semua p literal i = (1, 2,...,) adalah benar. Untuk formula pertama, jika mana-mana P literal i = (1, 2,..., n) adalah benar, maka semua penolakannya juga benar. Oleh itu, dalam kes ini ia adalah benar hanya jika sekurang-kurangnya satu Q adalah benar.

Oleh itu, nilai kebenaran kedua-dua formula di atas sentiasa sama kerana ia adalah setanding.

Kesimpulan

Dalam bentuk klausa, rumus ditulis sebagai satu siri ayat, setiap satunya terdiri daripada beberapa perkataan yang disambungkan hanya oleh penghubung logik bagi varian ATAU.

Atas ialah kandungan terperinci Potongan bentuk klausa dalam pangkalan data. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!