Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems