Skip to content
CENG550Graduate

Logic and Databases

Printed in the catalogue as LOGIC AND DATABASES

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.

All CENG courses