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