Contents

• List of Tables
• List of Figures
• Project Overview
  • Web-based
  • Clarity
  • User-Friendly
  • Completeness
  • Uniqueness
    • Unique Method
    • Research
    • Non-traditional Approach
  • Portability
  • Availability
• Project Management
  • Goal Setting
  • Tasks Allocated
  • Project Schedule and Milestone
• Theoretical Background
  • Database
    • Concurrent Access and Crash Recovery
    • Reduced Application Development Time
    • Data Integrity and Security
    • Data Administration
    • Concurrent Access and Crash Recovery
  • Data Dependencies
    • Functional Dependencies
    • Inclusion Dependencies
    • Multi-value Dependencies
    • Join Dependencies
• Tutorial Design
  • Main Page
• Flight Scheduling System
  • Illustrative Scenario
  • Notation Definition
  • Discussion on Design Approach Chosen
    • Top-down vs Bottom-up
    • Bottom-up approach and Universal Relation Schema
  • Functional Dependency
    • Fundamental Concept and Learning Objective
    • FD in the Flight Scheduling System
      • Problem of Redundancy
      • Redundancy problems which can be solved by FD
      • FD in flight scheduling systems
    • Usage of FD: Reduce data redundancy by FD and 2NF
      • Main concept behind 2NF
      • Result of the 2NF
    • Usage of FD: Further data redundancy reduction by FD and 3NF
      • Main concept for 3NF
      • Result of the 3NF
    • Usage of FD: Further data redundancy reduction by FD and BCNF
      • Main concept for BCNF
      • Result of the BCNF
    • Tool designed for finding BCNF in our demo system
    • Armstrong's Axiom System and Inference rules
  • Inclusion Dependency
    • Fundamental Concept and Learning Objective
    • IND in the Flight Scheduling System
    • Casanova et al.'s Axiom System and Inference Rules
  • Multivalued Dependency
    • Fundamental Concept and Learning Objective
  • Join Dependency
    • Fundamental Concept and Learning Objective
• Existing Systems on Web
• Java Applet Design
  • Introduction
  • Application Usage
  • Program Design
  • Verification Algorithm
• Project Meetings
  • Attendance for meetings
  • First Meeting
  • Second Meeting
  • Third Meeting
  • Fourth Meeting
  • Fifth Meeting
  • Sixth Meeting
• Project Specification
  • Comp 630 Project Specification
• Java Code
  • BNCF Verification Source Code
• References
• About this document ...