Talk:Deductive database

Computing Stub‑class

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
???	This article has not yet received a rating on the project's importance scale.
	This article has been automatically rated by a bot or other tool as Stub-class because it uses a stub template. Please ensure the assessment is correct before removing the `\|auto=` parameter.

Without explicitly saying so, this article identifies deductive databases with datalog. However, there is a case for arguing that deductive databases, viewed historically, are more general than datalog, because they allow function symbols.

It would probably be better to merge the relevant parts of this article into the article on datalog.Compulogger (talk) 06:01, 17 June 2012 (UTC)[reply]

About merging the 2 articles : The deductive database article is reachable from the 'database models' box that appears on several articles: I would find it odd that it would redirect to datalog instead. Would you merge "relational database" and SQL ? I would think not. So I'm not in favor of merging the articles.

About merging the relevant parts : yes, why not. Be bold Carbo1200 (talk) 16:52, 19 June 2012 (UTC)[reply]

I see your point. In other words, datalog is a special case of deductive databases. But this means that some of the material in the article on datalog should probably be moved to this article on deductive databases. For example, the second sentence:

"Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases." Shall we make a start on it? Compulogger (talk) 06:55, 22 June 2012 (UTC)[reply]