"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
成功数据库系统的关键在于其能够随着用户需求的变化而发展。
一个好的工程师是能把挫折转化为灵感的人。
The real problem is not whether machines think but whether men do.
基本规范是预设的终极规则,根据这一规则,该秩序中的规范得以建立和废除,获得和失去其有效性。