Activity Mining in a Smart Home from Sequential and Temporal Databases