SQL，或者读作sequel，几乎已经成为数据库的代名词。不止程序员，今天一切和数据库打交道的职业都需要SQL的帮助。我们在数据库之上构建了庞大的信息世界，SQL这样一种形式化推理系统值得我们好好聊聊它的过往和去处。