Title: The relational data file and the decision problem for classes of proper formulas
Subjects: Information storage and retrieval systems, Information theory