240 发简信
橡树人
IP属地：上海
  • 180
    橡树人
    关系代数运算之rename操作示例

    示例1 找出那些挣得比ID为的教师多的教师的ID和name。其中instructor的schema定义为 第1步：将instructor重命名为i和w，即，第2步：在关系w中...

    1619 0 0
  • 180
    橡树人
    1.5 数据模型和数据存储

    数据库管理系统的用户最终关心的是某个现实世界中的企业，在数据库管理系统中存储的数据描述了该企业的方方面面。比如，在一个大学里，有学生、教师、课程等实体。在大学数据库中的数据描...

    488 0 3
  • 180
    橡树人
    1.4 数据库语言

    数据库系统提供了数据定义语言DDL描述数据库schema，数据操作语言DML来表示数据库查询和更新。在实践中，DDL和DML不是两个单独的语言，而是简单地构成了一门数据库语言...

    262 0 1
  • 180
    橡树人
    1.5 数据库系统设计

    数据库系统是为管理大体量信息而设计的。这些大体量信息不是孤立存在的，它们是一些企业运行的一部分，这些企业的终端产品可能是来自数据库的信息，也可能是数据库仅在其中起支持作用的一...

    131 0 1
  • 120
    180
    橡树人
    数据库系统的目的

    数据库系统的目的 针对文件处理系统保存数据存在的缺点，数据库系统力求实现如下目标： 减少数据冗余，保证数据一致 提供方便且高效的方式来访问数据 建立数据之间的关联 提供一致性...

    184 0 1
  • 180
    橡树人
    第1.2节 数据库系统的目的

    考虑一个大学组织的某一部分，该部分记录关于所有教员、学生、院系、课程设置等信息。 在计算机上保存信息的方法之一是在操作系统文件中存储信息。为了支持用户操作信息，系统有若干个操...

    136 0 1
  • 180
    橡树人
    第1.1节 数据库系统应用

    作为对商业数据计算机化管理的响应，在20世纪60年代出现了最早的数据库系统。现代的数据库应用包括有非常复杂的全球型企业。跟现代的数据库应用相比，那些早期的应用是相对简单的。 ...

    217 0 1
  • 120
    180
    橡树人
    理解join操作

    join操作 为什么要给予join操作特殊的关照？ 答：join操作受到了许多关注，存在若干个变形，理由有3个：join操作是关系代数中最有用的操作之一，是联合来自两个或者多...

    772 0 1
  • 180
    橡树人
    《What Goes Around Comes Around》读书笔记

    论文下载链接https://people.cs.umass.edu/~yanlei/courses/CS691LL-f06/papers/SH05.pdf[https://p...

    571 0 1
  • 180
    橡树人
    CPU性能分析--上下文切换

    内容提要 CPU上下文切换都做了哪些事？ CPU上下文切换都有哪些场景？ 系统调用上下文切换都做了哪些事？ 进程上下文切换都做了哪些事？ 线程上下文切换都做了哪些事？ 中断上...

    294 0 1
  • 180
    橡树人
    算法-寻找顺序统计量

    结论 假设所有元素都是互异的，使用RANDOMIZED-SELECT算法可在期望为线性时间内找到任一顺序统计量，特别是中位数。 RANDOMIZED-SELECT算法 预备知...

    281 0 0
  • 180
    橡树人
    1.6 推理规则

    1.6.1 简介 推理规则是构建有效论证的模板。 推理规则是确定命题真值的一种基本工具。 为什么要有推理规则？为了从已知命题推出新命题。 什么是论证？构成：前提+结论定义：确...

    1223 0 1
  • 180
    橡树人
    第9章 数论

    数论研究的是整数。 问题：为什么要研究整数？问题：数论有什么实际价值？ 数论是现代加密技术的基础，而加密技术使得安全的在线通信成为可能。 数论也对电子商务很重要。比如，每当你...

    219 0 1
  • 180
    橡树人
    条件语句的等价描述与证明

    如果p，则q 如果p，q q如果p p蕴含q p仅当q p是q的充分条件 q的一个充分条件是p q当p q每当p q是p的必要条件 p的一个必要条件是q q由p得出 q除非 ...

    884 0 1
  • 120
    180
    橡树人
    第一章 基础：逻辑和命题

    1.1 命题逻辑 1.2 命题逻辑的应用 1.3 等价命题 1.4 谓词和量词 1.5 量词嵌套 1.6 推理规则 1.7 证明简介 1.8 证明方法和策略 逻辑规则明确了数...

    1446 0 1
  • 180
    橡树人
    exec系统调用都做了哪些事？

    从整体上讲，exec系统调用创建了用户部分的地址空间。 具体地讲，做了9件事： 调用nami函数打开有名字的二进制路径path； 读取ELF文件头； 检查该文件是否是ELF文...

    631 0 1
  • 120
    180
    橡树人
    xv6里的第一个用户进程

    调用链 kernel/entry.S->kernel/start.c->kernel/main.c->kernel/proc.c->user/initcode.S->user...

    360 0 2
  • 180
    橡树人
    第5章 中断和设备驱动

    什么是驱动？ 驱动是操作系统中用来管理一个特定设备的代码： 配置硬件设备； 告诉设备执行操作； 处理设备中断； 跟可能在等待来自设备的I/O的进程进行交互； 驱动代码需要一定...

    854 0 1
  • 120
    180
    橡树人
    内核地址空间

    设计 权限 注意：地址空间是由虚拟地址组成的。 设计 直接映射部分特征：资源的虚拟地址等于物理地址；包括：CLINT、PLIC、UARTO、VIRTIO disk、KERNE...

    528 0 1
个人介绍
感谢父母把我带到这个世界上，并把我抚养成人；感谢上帝赐予我阅读，编程，生活的权利；在一生的旅途中，享受阅读、编程、家庭带给我的欢乐。