發送短信 : What have we learnt from deductive object-oriented database research?

  ____     _    _    __   _    _    _    ______   
 |  _ \\  | || | || | || | || | || | || |      \\ 
 | |_| || | || | || | '--' || | || | || |  --  // 
 | .  //  | \\_/ || | .--. || | \\_/ || |  --  \\ 
 |_|\_\\   \____//  |_|| |_||  \____//  |______// 
 `-` --`    `---`   `-`  `-`    `---`   `------`