Functional Dependencies for Library Management System