Semantic correctness in the specification, translation, and parallel implementation of SQL queries. - Paul Timothy Murray (1994)