${?}_{{?}_{{?}_{?}}{?}_{{?}_{?}}logic,\text{u}\text{s}\text{e}\text{d}\text{e}\text{x}\text{t}\text{e}\text{n}\text{s}\text{i}\text{v}\text{e}\text{l}\text{y}in\text{m}\text{a}\text{t}\text{h}\text{e}\text{m}\text{a}\text{t}\text{i}\text{c}\text{s}\text{,}\text{p}\text{r}\text{o}\text{v}\text{i}\text{d}\text{e}\text{s}\text{a}\text{f}\text{r}\text{a}\text{m}\text{e}\text{w}\text{o}\text{r}\text{k}in\text{w}\text{h}\text{i}\text{c}\text{h}an\text{a}\text{s}\text{s}\text{e}\text{r}\text{t}\text{i}\text{o}\text{n}(statementof\text{f}\text{a}\text{c}\text{t})\text{c}\text{a}\text{n}be\text{v}\text{e}\text{r}\text{i}\text{f}\text{i}\text{e}\text{d}as\text{e}\text{i}\text{t}\text{h}\text{e}\text{r}\text{t}\text{r}\text{u}\text{e}or\text{f}\text{a}\text{l}\text{s}\text{e}\text{.}}$

$a.$

Predicate

$b.$

Database

$c.$

Relational

$d.$

Index