Logic for Computer Science

9.

Applications in Database Systems

9.1.

Relational Model and Logic

9.1.1.

Relational Algebra

9.1.1.1.

Basic Operations

9.1.1.2.

Derived Operations

9.1.1.3.

Expressiveness and Limitations

9.1.2.

Connection to First-Order Logic

9.2.

Relational Calculus

9.2.1.

Tuple Relational Calculus

9.2.1.1.

Syntax and Semantics

9.2.1.2.

Range-Restricted Formulas

9.2.1.3.

Safety of Expressions

9.2.2.

Domain Relational Calculus

9.2.2.1.

Syntax and Semantics

9.2.2.2.

Safety Conditions

9.2.3.

Equivalence of Algebra and Calculus

9.3.

Query Languages

9.3.1.

9.3.1.1.

Logical Foundations of SQL

9.3.1.2.

Query Formulation

9.3.1.3.

Query Optimization

9.3.2.

9.3.2.1.

Syntax and Semantics

9.3.2.2.

Recursive Queries

9.3.2.3.

Stratified Datalog

9.3.2.4.

Applications in Databases

9.4.

Database Theory

9.4.1.

Functional Dependencies

9.4.2.

9.4.3.

Query Containment

9.4.4.

Previous

8. Applications in Artificial Intelligence

Go to top

Next

10. Advanced Topics in Logic