Martin Fraser Brooks
-
Test data for relational queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Horn clauses and database dependencies
Journal of the ACM (JACM)