DAL-A logic for data analysis. Theoretical computer science 36 (2,3) (1985) 251-264