Academic Catalog

CENG550 LOGIC AND DATABASES

Course Code:	5710550
METU Credit (Theoretical-Laboratory hours/week):	3(3-0)
ECTS Credit:	8.0
Department:	Computer Engineering
Language of Instruction:	English
Level of Study:	Graduate
Course Coordinator:
Offered Semester:	Fall or Spring Semesters.

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.