The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
We give a logical characterization of the polynomial-time properties of graphs with excluded minors.
The interaction between computation and logic goes back to the beginnings of computer science with the development of computability theory in the 1930s. In recent decades, the interaction between computation…
Dremel is a scalable, interactive ad hoc query system for analysis of read-only nested data. By combining multilevel execution trees and columnar data layout, it is capable of running aggregation queries over trillion-row tables…
The importance of data analysis has never been clearer. Globe-spanning scientific collaborations are exploring data-intensive questions at a scale…