DISKUSI 8 – LOGIKA INFORMATIKA

Isi dokumen

DISKUSI 8 – LOGIKA INFORMATIKA Pada tugas sesi 7 ditemukan bahwa Budi sedang probation tetapi tidak mendapat persetujuan HRD. Selain itu, Andi bekerja di departemen IT, kuota cuti IT pada 11 Juli penuh, tetapi cuti Andi pada 11 Juli tetap diproses. Sistem juga memiliki data bahwa cuti Andi pada 10 Juli diproses. Aturan yang dibahas: F2 = (for all x) if Probation(x) then Disetujui HRD(x) F3 = (for all x)(for all d)(for all t) if (Karyawan(x) and Bekerja Pada(x,d) and Kuota Penuh(d,t)) then not Cuti Diproses(x,t) F4 = (for some x)(for some t) Cuti Diproses(x,t) Berdasarkan kasus HRIS persetujuan cuti karyawan, apakah kumpulan aturan dan data pada sistem tersebut dapat dikatakan konsisten? Jelaskan dengan menggunakan konsep satisfiable, contradictory, consistent, closure, dan substitusi aman, lalu berikan usulan perbaikan aturan agar sistem tidak memproses cuti yang melanggar syarat. JAWAB Izin menjawab diskusi, Sistem HRIS dalam kasus dalam diskusi ini belum dapat dikatakan konsisten jika aturan dan data aktualnya diperiksa secara bersama-sama. Hal ini disebabkan adanya data yang bertentangan dengan ketentuan persetujuan cuti, yaitu status probation Budi yang belum mendapat persetujuan HRD dan cuti Andi yang tetap diproses meskipun kuota departemen IT pada 11 Juli sudah penuh.

1. Konsep Satisfiable

Referensi terkait