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