超键(super key):在关系中能唯一标识元组的属性集称为关系模式的超键

概念：操作系统os是配置在计算机硬件上的第一层软件，是对硬件系统的首次扩充。

性质1 二叉树第i层上的结点数目最多为2^i-1(i≥1)。

证明：用数学归纳法证明：
　     归纳基础：i=1时，有2^i-1=2⁰=1。因为第1层上只有一个根结点，所以命题成立。
     　归纳假设：假设对所有的j(1≤j<i)命题成立，即第j层上至多有2^j-1个结点，证明j=i时命题亦成立。
     　归纳步骤：根据归纳假设，第i-1层上至多有2^i-2个结点。由于二叉树的每个结点至多有两个孩子，故第i层上的结点数至多是第i-1层上的最大结点数的2倍。即j=i时，该层上至多有2×2^i-2=2^i-1个结点，故命题成立。

性质2 深度为k的二叉树至多有2^k-1个结点(k≥1)。

证明：在具有相同深度的二叉树中，仅当每一层都含有最大结点数时，其树中结点数最多。因此利用性质1可得，深度为k的二叉树的结点数至多为：

whereis（寻找特定的文件）