Relational Theory for Computer Professionals (What Relational Databases Are Really All About)