CSc 8710. Deductive Databases and Logic Programming
Fall 1999,
Monday 7.15 to 9.45 PM,
Room: 305 Sparks Hall
Computer Number: 1722
- Instructor:
Dr. Raj Sunderraman
- Office: 758 College of Education Building
- Office Hrs: Mondays 6.00 to 7.00 PM
- Office Phone: 404-651-0672
- E-mail:
raj@cs.gsu.edu
- Course Home Page: http://tinman.cs.gsu.edu/~raj/8710/f99
Course Overview:
An introduction to area of deductive databases and logic
programming. Topics include: Logic programming and Prolog,
Syntax of logic programs and deductive databases, Model-theoretic,
Proof-theoretic and Fixpoint semantics, Operational semantics such as
bottom-up evaluation and SLD-resolution techniques, Query optimization
in deductive databases, Negation in deductive databases,
Applications of deductive databases,
Constraint checking in deductive databases.
Textbooks
- Logic programming and databases by Ceri, Gottlob and Tanca,
Springer-Verlag, 1990.
- Oracle Programming -- A Primer by R. Sunderraman,
Addison-Wesley, 1999.
Grading Policy: The grading will be based on the following components:
- Three exams worth 20% each
- Homework assignments worth 20%.
- Programming projects worth 20%.
Detailed Course Syllabus
- Preliminaries:
- Relational Databases (relational algebra, SQL, embedded-SQL, JDBC, SQLJ)
- Logic Programming in Prolog
- Deductive Databases and Logic Programming--Basics:
- Syntax of logic programs and deductive databases
- Semantics: Model-theoretic, Proof-theoretic, Fixpoint semantics
- Evaluation Strategies:
- Bottom-up evaluation (Naive,Semi-Naive)
- Top-down evaluation (SLD-resolution)
- Deductive Databases--Advanced Topics:
- Query optimization
- Negation in deductive databases
- Applications of deductive databases
- Constraint checking in deductive databases