A Database Approach to Distributed State-Space Generation | UPT Perpustakaan UHAMKA