Define the CAP theorem (Consistency, Availability, Partition Tolerance) and discuss its implications for distributed systems and database design.