Additional Key Words and Phrases: data retrieval system, Relational Data File, predicate calculus definite formulas, recursively unsolvable decision problem, Trahtenbrot's theorem
Selected papers that cite this one
- Robert Demolombe. Syntactical characterization of a subset of domain-independent formulas. Journal of the ACM, 39(1):71-94, January 1992.
- Ronald Fagin. Horn clauses and database dependencies. Journal of the ACM, 29(4):952-985, October 1982.
- Robert A. Di Paola. The solvability of the decision problem for classes of proper formulas and related results. Journal of the ACM, 20(1):112-126, January 1973.