轰轰烈烈的期中考试 我对考试简直又爱又恨。爱的是它为我荒诞的生活提供了一个清晰明确的目标，让我保持专注、全力以赴，就像是捕食者追逐猎物（或者说猎物逃避追捕）。恨的是我曾经一度被这种目标夺取意识，那种放弃生活作为一种旅程的快乐而是把它作为达成目的的垫脚石的状态让我由衷地厌恶。现在想想，比起恐惧和痛苦，更深的情感是羞耻。我怎么能把更重要的当下让渡与那种…

说实话，我原来设定的目标是本周要写两节课程和两篇论文。事实证明，我完全低估了这些任务的工作量。你可以看出来，这些学习报告很多都是用LLM写的。就像cmu15445的讲师所说的那般，数据库无处不在，那么我们可以合理推测，我们的大脑也是数据库的一种。既然这样，我们完全可以应用在语义算子那篇文章中的结论，用LLMs所蕴含的强大语义能力，将讲师或者论文中对…

NOW的侧写 我已经学了（至少看完了）CMU15445的#01#02，了解了数据库所基于的关系模型和一些关于SQL的语法。然而#03这节课真正具体介绍了整门课程的框架。相当于给了我一个地图，我可以看到自己在其中的位置。然后我感觉本堂课介绍了数据在磁盘（disk）的存储逻辑和布局状况，包括FILE,PAGE,TUPLE三个层次。并且提出了一个重要的结…

NOW的侧写 本篇的目的是给上篇文章收个尾，记录Lateral Joins和Common Table Expressions的相关知识。 Lateral Joins 我们先来复习一下什么是join. 通过离散数学我们知道笛卡尔积：两个集合 A 和 B 的笛卡尔积，记作 A × B，是所有可能的有序对 (a, b) 的集…

Today's Agenda Aggregation+Group by string/Date/Time Operation Output control+Redirection Window Functions Nested Queries Lateral Joins Common Table Expressions 我们的任务是从理论上理解这些…

NOW的侧写 我把CMU 15445#01看了一遍，我知道DBMS要把声明式语言（比如SQL）转换为具体的查询方案（通常使用关系代数来表示），但是我对LLM就没有那么熟悉。我不知道LLM可以在这个过程中扮演怎样的角色。以及LOTUS是如何实现这一点的，还有语义算子究竟发挥怎样的作用。怀着这样的疑问，我开始了阅读。 语义算子：https://sky.…

开始的话 我要学的是CMU-15445，数据库系统导论。 正文 DATABASE DEFINITION:organized collection of inter-related data that models some aspect of the real world. Databases are the core componenet of …

嗯，我是在阅读《海伯利安》的时候认识到这个人的。维基百科给他的介绍是“浪漫主义诗人”。嗯，这让我想到了学的离散数学上见到的两个人，一个叫阿贝尔，一个叫伽罗瓦。两人都英年早逝，前者死于肺结核，后者死于决斗。我们上这门课的老师说他们也非常有浪漫主义色彩。 不过看起来，他的人生非常糟糕，父亲坠马身亡，母亲死于肺病，一个弟弟死于肺病，另外一个弟弟投资失败。…

哈布斯堡家族及其领地 17世纪初的哈布斯堡家族无疑是整个欧洲最有权势的家族。家族领袖是神圣罗马皇帝鲁道夫二世，兼任奥地利大公、波西米亚和匈牙利的国王。其弟马克西米利安三世是提洛尔公爵，其表弟斐迪南一世是施蒂利亚、克恩顿和卡尼奥拉三地的统治者。 哈布斯堡家族纹章 家族本身信仰天主教，然而他们领地（除提洛尔）的臣民却信仰新教。这些新教信仰受到许多实力强…

德意志的新教崛起 16世纪，德意志地区的新教势力突然抬头，帝国宪政面临严峻的考验。虽然大多数民众表达了支持宗教改革的态度，但帝国议会却始终反对。事实情况是，在选帝侯议院中，三位世俗选帝侯支持宗教改革，三位甚至选帝侯反对，双方势均力敌。但在诸侯议院中，神职议员多达38名，而俗职议院仅18名。简而言之，此时神罗的诸侯议院正如宗教改革前的英格兰上议院一样…