Title: A specification and performance evaluation model for multicomputer database machines