データベース論

授業

ひきつづきdatalogのお話．datalogと関係代数の表現能力の差など，学問的なお話が続く．証明などは飛ばされたが，基本的には表現能力の証明というのは，変換するアルゴリズムが書ければOKで，書けなければ，表現能力が高いということが証明できるわけである．
なぜ書けないのか，という証明はやっかいそうであったが，直感的には理解できる内容なので，大したことはない．