在设计一个选课系统数据库模型时，应如何避免数据冗余并确保满足第三范式的要求？请提供一个示例表结构及对应的SQL建表语句。

设计选课系统数据库模型时，避免数据冗余并确保第三范式（3NF）是数据库规范化的重要步骤。第三范式要求每一个非主属性完全依赖于每一个主键，并且不存在传递依赖。以下是一个设计示例，以及对应的SQL建表语句。

参考资源链接：[数据库设计与实现：选课系统详解](https://wenku.csdn.net/doc/77kr6rt8c1?spm=1055.2569.3001.10343)

首先，我们需要定义几个基本实体：学生(Student)、教师(Teacher)、课程(Course)和选课(Enrollment)。我们假设每个学生有一个唯一的学号(StudentID)，每个教师有唯一的教师编号(TeacherID)，每门课程有唯一的课程编号(CourseID)，选课记录由学生学号、教师编号和课程编号组合而成。

按照3NF要求，我们可以设计如下表结构：

1. 学生(Student)表：
- 学号(StudentID) 主键
- 姓名(Name)
- 系别(Department)

2. 教师(Teacher)表：
- 教师编号(TeacherID) 主键
- 姓名(Name)
- 所属学院(College)

3. 课程(Course)表：
- 课程编号(CourseID) 主键
- 课程名称(CourseName)
- 学分(Credits)
- 开课教师编号(TeacherID) 外键，关联到Teacher表的TeacherID

4. 选课(Enrollment)表：
- 学号(StudentID) 外键，关联到Student表的StudentID
- 课程编号(CourseID) 外键，关联到Course表的CourseID
- 成绩(Grade)
- 主键由学号和课程编号组合而成

对应的SQL建表语句如下：

CREATE TABLE Student (
    StudentID INT PRIMARY KEY,
    Name VARCHAR(50),
    Department VARCHAR(50)
);

CREATE TABLE Teacher (
    TeacherID INT PRIMARY KEY,
    Name VARCHAR(50),
    College VARCHAR(50)
);

CREATE TABLE Course (
    CourseID INT PRIMARY KEY,
    CourseName VARCHAR(50),
    Credits INT,
    TeacherID INT,
    FOREIGN KEY (TeacherID) REFERENCES Teacher(TeacherID)
);

CREATE TABLE Enrollment (
    StudentID INT,
    CourseID INT,
    Grade DECIMAL(3, 1),
    PRIMARY KEY (StudentID, CourseID),
    FOREIGN KEY (StudentID) REFERENCES Student(StudentID),
    FOREIGN KEY (CourseID) REFERENCES Course(CourseID)
);

在这个设计中，每个表的非主属性只依赖于主键，没有传递依赖，从而满足了第三范式的要求。这样的设计有助于减少数据冗余，保证数据的一致性和完整性。通过遵循3NF原则，可以构建出高效和易于维护的选课系统数据库。

参考资源链接：[数据库设计与实现：选课系统详解](https://wenku.csdn.net/doc/77kr6rt8c1?spm=1055.2569.3001.10343)