Skip to content

Foundations of Databases The Logical Level

Best in textbook rentals since 2012!

ISBN-10: 0201537710

ISBN-13: 9780201537710

Edition: 1995

Authors: Serge Abiteboul, Richard Hull, Victor Vianu

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $54.99
Copyright year: 1995
Publisher: Pearson Education
Publication date: 11/22/1994
Binding: Paperback
Pages: 704
Size: 6.75" wide x 9.75" long x 1.25" tall
Weight: 2.244
Language: English

Antechamber
Database Systems
The Main Principles
Functionalities
Complexity and Diversity
Past and Future
Ties with This Book
Bibliographic Notes
Theoretical Background
Some Basics
Languages, Computability, and Complexity
Basics from Logic
The Relational Model
The Structure of the Relational Model
Named versus Unnamed Perspectives
Notation
Bibliographic Notes
Basics: Relational Query Languages
Conjunctive Queries
Getting Started
Logic-Based Perspectives
Query Composition and Views
Algebraic Perspectives
Adding Union
Bibliographic Notes
Exercises
Adding Negation: Algebra and Calculus
The Relational Algebras
Nonrecursive Datalog with Negation
The Relational Calculus
Syntactic Restrictions for Domain Independence
Aggregate Functions
Digression: Finite Representations of Infinite Databases
Bibliographic Notes
Exercises
Static Analysis and Optimization
Issues in Practical Query Optimization
Global Optimization
Static Analysis of the Relational Calculus
Computers with Acyclic Joins
Bibliographic Notes
Exercises
Notes on Practical Languages
SQL: The Structured Query Language
Query-by-Example and Microsoft Access
Confronting the Real World
Bibliographic Notes
Exercises
Constraints
Functional and Join Dependency
Motivation
Functional and Key Dependencies
Join and Multivalued Dependencies
The Chase
Bibliographic Notes
Exercises
Inclusion Dependency
Inclusion Dependency in Isolation
Finite versus Infinite Implication
Nonaxiomatizability of fd's + ind's
Restricted Kinds of Inclusion Dependency
Bibliographic Notes
Exercises
A Larger Perspective
A Unifying Framework
The Chase revisited
Axiomatization
An Algebraic Perspective
Bibliographic Notes
Exercises
Design and Dependencies
Semantic Data Models
Normal Forms
Universal Relation Assumption
Bibliographic Notes
Exercises
Datalog and Recursion
Datalog
Syntax of Datalog
Model-Theoretic Semantics
Fixpoint Semantics
Proof-Theoretic Approach
Static Program Analysis
Bibliographic Notes
Exercises
Evaluation of Datalog
Seminaive Evaluation
Top-Down Techniques
Magic
Two Improvements
Bibliographic Notes
Exercises
Recursion and Negation
Algebra + While
Calculus + Fixpoint
Datalog with Negation
Equivalence
Recursion in Practical Language
Bibliographic Notes
Exercises
Negation in Datalog
The Basic Problem
Stratified Semantics
Well-Founded Semantics
Expressive Power
Negation as Failure of Brief
Bibliographic Notes
Exercises
Expressiveness and Complexity
Sizing up Languages
Queries
Compl