Foundations of databases
by Serge Abiteboul, Richard Hull · first published 1994
6mentions
1recommended by
6HN commenters
2008–2025first – last mentioned
17% recommend83% neutral
Over the past two decades, the theory concerning the logical level of database management systems has matured and become an elegant and robust piece of science. Foundations of Databases presents indepth coverage of this theory and surveys several emerging topics. Written by three leading researchers, this advanced text presents a unifying and contemporary perspective on the field. A major effort in writing the book has been to highlight the intuitions behind the theoretical development.
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Read freeOnline edition
…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…
on “Ask HN: Help me find a good databases textbook” ↗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…
on “Datomic 2013 Recap” ↗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:…
on “The Birth of Prolog (1992) [pdf]” ↗…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.
on “Prolog's Death (2010)” ↗…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),…
on “Abstraction boundaries are optimization boundaries” ↗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…
on “Datalog in miniKanren” ↗