sentences:  They were introduced by Per Lindström in 1966.They were later studied for their applications in logic in computer science and database query languages.In order to facilitate discussion, some notational conventions need explaining.