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

  ____     __   __    _____      ___      _____   
 |  _ \\   \ \\/ //  / ____||   / _ \\   / ____|| 
 | |_| ||   \ ` //  / //---`'  / //\ \\ / //---`' 
 | .  //     | ||   \ \\___   |  ___  ||\ \\___   
 |_|\_\\     |_||    \_____|| |_||  |_|| \_____|| 
 `-` --`     `-`'     `----`  `-`   `-`   `----`