摘要：
not clear enough:1.haven't mastered definition of : a.tuple relational calculus b.domain relational calculus c.datalog && can't use these methods to solve pros smoothly2.spent much time in understanding recursive programs && semantics of program. 3.still not get the meaning o 阅读全文
