CSC 8710 - Deductive Databases and Logic Programming

4 Credit Hours
Prerequisites: CSC 4710/6710.
Description
An introduction to the area of deductive databases and logic programming. Topics include syntax of logic programs and deductive databases, model-theoretic, proof-theoretic and fixed-point semantics, operational semantics such as bottom-up evaluation and SLD-resolution techniques, query optimization, negation, constraint checking, and applications of deductive databases.