CENG550 LOGIC AND DATABASES
| Course Code: | 5710550 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Course Content
Logic and logic programming in understanding the semantics of databases. Extension of relational databases to deductive databases. Techniques for the processing of deductive database queries.