Answers are grounded in this paper and cite their sources.
A first-order database ~s defined as a function-free first-order theory in which the ground units serve as the extensional database and the proper noniogical axioms serve as the intensional database.
No takes yet. Share an insight, caveat, or question.
Henschen et al. (1984) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: