Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is Datalog?

  • A.A language for describing the structure of a database
  • B.A logic programming language with negation as failure
  • C.A query language for graphs of entities and relations
  • D.A definite clause language without function symbols

Answer: D

Forbidding function symbols keeps the set of derivable facts finite, so forward chaining terminates and the language is decidable, which makes it suitable for deductive databases. Recursion is permitted and is its main advantage over relational query languages. Schema description, negation and graph querying are different things, though modern variants add some of them. A deliberate restriction adopted to obtain decidability is the same design move that produced description logics.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.