ABSTRAK Nama: Siti Aminah Program Studi: Magister Ilmu Komputer Judul: Pemodelan Basis Data Relasional dengan Metode B: Studi Kasus Modul Validasi dalam Program Pengolahan Data SPMB Aplikasi pengolahan data merupakan aplikasi yang dibutuhkan oleh banyak orang dan lembaga. Aplikasi pengolahan data ujian berskala besar, seperti SPMB dan ujian seleksi pegawai negeri, merupakan aplikasi kritikal. Kesalahan pemrograman pada aplikasi ini dapat merugikan masa depan seseorang. Metode formal dipandang perlu untuk diterapkan pada pengembangan aplikasi sejenis ini. Pada penelitian ini Metode B diterapkan untuk pengembangan sebuah modul validasi pada aplikasi pengolahan data SPMB. Sebagai metode yang bersifat umum, B tidak memiliki pola khusus untuk mengembangkan aplikasi pengolahan data. Pada penelitian ini dicari pola yang baik dan mudah digunakan untuk memodelkan tabel-tabel basis data relasional. Penulis memilih tipe data himpunan untuk memodelkan sebuah record, dengan field-field-nya dimodelkan sebagai fungsi total dari himpunan record ke himpunan lain yang menjadi tipe data pada field tersebut. Modul validasi dari aplikasi pengolahan data SPMB dikembangkan dengan model ini. Kata kunci: metode formal, Metode B, aplikasi kritikal, aplikasi pengolahan data SPMB