Definition, synonyms and related words
A database model that is based on first-order predicate logic.