DEF: a restricted form of first-order queries.
A conjunctive query is simply a fragment of first-order logic given by the set of formulae that can be constructed from atomic formulae using conjunction ∧ and existential quantification ∃, but not using disjunction ∨, negation ¬, or universal quantification ∀.
more (on Wikipedia)...
No comments:
Post a Comment