Title: Databases in Theory and Practice