A language for data and knowledge bases (1989)

by S Naqvi, S Tsur