Database Machines and Knowledge Base Machines