Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization