Fill in the blank with the appropriate word.
The model for database management is a database model based on first-order predicate logic.
Answer: relational
Explanation:
The Relational model describes a database as a collection of predicates over a finite set
of predicate variables, describing
constraints on the possible values and combinations of values. The content of the database at any
given time is a finite (logical) model of the
database, i.e., a set of relations, one per predicate variable, such that all predicates are satisfied. A
request for information from the database
or a database query is also a predicate.
n mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified. Two common quantifiers are the existential ∃ (“there exists”) and universal ∀ (“for all”) quantifiers