https://intlibrary.ir/download/logics-for-databases-and-information-systems-81596/