Principles of database and knowledge - base systems - Ullman, Jeffrey D., 1942-