發送短信 : Toward Practical Query Evaluation for Constraint Databases

__    __    _____                ___     _____    
\ \\ / //  |  ___||     ___     / _ \\  |  __ \\  
 \ \/ //   | ||__      /   ||  / //\ \\ | |  \ || 
  \  //    | ||__     | [] || |  ___  ||| |__/ || 
   \//     |_____||    \__ || |_||  |_|||_____//  
    `      `-----`      -|_|| `-`   `-`  -----`   
                         `-`