Logic for Computer Science

  1. Applications in Database Systems
    1. Relational Model and Logic
      1. Relational Algebra
        1. Basic Operations
          1. Derived Operations
            1. Expressiveness and Limitations
            2. Connection to First-Order Logic
            3. Relational Calculus
              1. Tuple Relational Calculus
                1. Syntax and Semantics
                  1. Range-Restricted Formulas
                    1. Safety of Expressions
                    2. Domain Relational Calculus
                      1. Syntax and Semantics
                        1. Safety Conditions
                        2. Equivalence of Algebra and Calculus
                        3. Query Languages
                          1. SQL and Logic
                            1. Logical Foundations of SQL
                              1. Query Formulation
                                1. Query Optimization
                                2. Datalog
                                  1. Syntax and Semantics
                                    1. Recursive Queries
                                      1. Stratified Datalog
                                        1. Applications in Databases
                                      2. Database Theory
                                        1. Functional Dependencies
                                          1. Normal Forms
                                            1. Query Containment
                                              1. View Updates

                                            Previous

                                            8. Applications in Artificial Intelligence

                                            Go to top

                                            Next

                                            10. Advanced Topics in Logic