Relational Theory for Computer Professionals: What Relational Databases Are Really All About