Higher-order normal forms. Semantic models. Advanced topics in security, integrity, concurrency and recovery. Concepts of distributed databases.