Logičeskoje programmirovanije i bazy dannych - Ceri, S. (Mir, 1992)