Theory And Design For Database Systems