Pinor : piranti pelaksana normalisasi basis data relasional (Fakultas Ilmu Komputer Universitas Indonesia, 1995)