A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning