CS633 S06

	CS633: Advanced Database Systems

Homework

Probs 01 (01/27)
Expressing graph and string properties in first- and second-order logic. (PDF)
Probs 02 (02/06)
Inexpressibility proofs using E-F games. (PDF)
Probs 03 (02/16)
Problems involving conjunctive query languages. (PDF)

Back Home Description Administrivia Announcements Lectures Homework Mail	Homework Probs 01 (01/27) Expressing graph and string properties in first- and second-order logic. (PDF) Probs 02 (02/06) Inexpressibility proofs using E-F games. (PDF) Probs 03 (02/16) Problems involving conjunctive query languages. (PDF)