I would recommend "Architecture of a Database System" by Joe Hellerstein, Micheal Stonebraker, and James Hamilton [0] as a start if you want formal perspective without getting too much into theory.
[0] http://db.cs.berkeley.edu/papers/fntdb07-architecture.pdf