数据库基础
Foundations of databases
Serge Abiteboul、Richard Hull · 初版 1994 年
1人推荐
6位读者提及
6次提及
在过去的二十年里，有关数据库管理系统逻辑层面的理论已趋于成熟，演进为一门优雅而严谨的科学。Foundations of Databases 深入探讨了这一理论，并对数个前沿课题进行了综述。本书由三位顶尖学者撰写，为该领域提供了兼具统一性与时代性的视角。作者在著书过程中的主要立足点，便是清晰展现理论推导背后的核心直觉。
Hacker News 上怎么说
正在加载完整评论……
……计算机科学教材。它是一部巨作（Important Work）。至于其他书，那就取决于你想要什么了。作为 Date 的替代品，有 Jeffrey Ullman 的《Principles of Database and knowledge-base Systems》，以及 Abiteboul、Hull 和 Vianu 合著的《Foundations of Databases》。作为入门书，我喜欢 Patrick O'Neil 写的《Database: Principles, Programming, Performance》。如果想深入了解事务处理，除了 Jim Gray 的书，还有 Philip……
…computer science textbooks. It is an Important Work. On the other books, it depends on what you want. Alternatives to Date include Jeffrey Ullman, "Principles of Database and knowledge-base Systems" and "Foundations of Databases" by Abiteboul, Hull and Vianu. As an introductory book, I like Database: Principles, Programming, Performance by Patrick O'Neil. For more on transaction processing, as well as Jim Gray there is Philip…
看着真不错，我得找这本拜读一下。感兴趣的朋友，这出自《Foundations of Databases》（http://www.amazon.com/Foundations-Databases-The-Logical-Leve...），并且在 jamii 链接的根域名下可以免费阅读。编辑：才发现是个带返利的推荐链接，不是我放的，我是顺着那个点进去的……
This looks cool, I'll have to check this book out. For people who are interested, this is from Foundations of Databases (http://www.amazon.com/Foundations-Databases-The-Logical-Leve...) and is available for free at the root url from jamii's link. edit: realized it's a referral link, it's not mine, it's because I got there…
Datalog 是 Prolog 语法和逻辑语义的子集，但并不是其操作语义的子集，所以实际上两者的联系很弱。我很喜欢 Serge Abiteboul（《Foundations of Databases》的合著者之一 http://webdam.inria.fr/Alice/）在这个话题上的一句大实话：这又绕回到了“声明式编程”的优势上。第一个大忽悠是 Prolog：这门语言根本不是真正的声明式。第二个大忽悠是 Datalog：……
Datalog is a subset of Prolog syntax and logical semantics, but not of its operational semantics, so in practice the link is tenuous. I like the honest words of Serge Abiteboul (co-author of Foundations of Databases http://webdam.inria.fr/Alice/) on this topic: This is back to the advantages of “declarative programming”. The first scam was Prolog: The language is not really declarative. The second scam was Datalog:…
……通用模型。[0] Ceri, Gottlob, Tanca. (1989) 《What you always wanted to know about Datalog (and never dared to ask)》. IEEE TRANSACTIONS KNOWLEDGE AND DATA ENGINEERING. [1] Abiteboul, Hull, Vianu. (1994) 《Foundations of Databases: The Logical Level》. Pearson.
…universal model. [0] Ceri, Gottlob, Tanca. (1989) What you always wanted to know about Datalog (and never dared to ask). IEEE TRANSACTIONS KNOWLEDGE AND DATA ENGINEERING. [1] Abiteboul, Hull, Vianu. (1994) Foundations of Databases: The Logical Level. Pearson.
……S_z，等等。”我们将 S_i 称为 R 的第 j 个域。请注意“（不必截然不同）”这部分，以及他在同一页上是如何用一张表格来描述它的。出自被称为“爱丽丝书”的《Foundations of Databases》——Abiteboul、Hull、Vianu[1] 著，数据库理论领域的开山之作。> 在 20 世纪 70 年代，Codd 的关系模型彻底变革了该领域。在这个模型中，人们将数据视为以关系（表）的形式组织起来的……
…S_z , and so on.’ We shall refer to S_i as the jth domain of R. Note the "(not necessarily distinct)" part and how he uses a table to describe it on the same page. From what is called the "Alice book" Foundations of Databases - Abiteboul, Hull, Vianu[1] the seminal textbook in database theory. > In the 1970s, Codd’s relational model revolutionized the field. In this model, humans view the data as organized in relations (tables),…
Datalog 本来就支持 N 元关系！这根本不是什么扩展。维基百科条目推荐了 Abiteboul、Hull 和 Vianu 在 1995 年出的《Foundations of Databases》https://search.worldcat.org/title/30546436 ，以及 Gallaire 和 Minker 在 1978 年出的《Logic and Data Bases [sic]》https://archive.org/details/logicdatabases0000symp/page/n5/m... 。去 Google 学术上搜了搜……
Datalog always supports N-ary relations! It's not an extension. The Wikipedia article recommends https://search.worldcat.org/title/30546436 "Foundations of Databases" by Abiteboul, Hull, and Vianu, from 01995, and https://archive.org/details/logicdatabases0000symp/page/n5/m... "Logic and Data Bases [sic]" by Gallaire and Minker from 01978. Some poking at Google Scholar…