deductive database

However, there are a number of important differences between deductive databases and logic programming:

Aditi, a deductive database system also developed at the University of Melbourne.

This is not allowed in deductive databases.

Deductive database - database system that can make deductions.

Datalog is the language typically used to specify facts, rules and queries in deductive databases.

An object-role model can be automatically mapped to relational and deductive databases (such as datalog).

A deductive database combines logic programming with a relational database, for example by using the Datalog language.

Jack Minker is a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning.

Minker is one of the founders of the area of deductive databases and disjunctive logic programming.

He has made important contributions to semantic query optimization and to cooperative and informative answers for deductive databases.

In recent years, deductive databases such as Datalog have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Deductive databases are more expressive than relational databases but less expressive than logic programming systems.

Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.

It is often used as a query language for deductive databases: it is more expressive than SQL.

F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the Semantic Web.

A Deductive database is a database system that can make deductions (i.e., conclude additional facts) based on rules and facts stored in the (deductive) database.

Minker has over 150 refereed publications and has edited or co-edited five books on deductive databases, logic programming, and the use of logic in artificial intelligence.

Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut, this has no correspondence in deductive databases.

Deductive databases reuse a large number of concepts from logic programming; rules and facts specified in the deductive database language Datalog look very similar to those in Prolog.

His scientific contributions lie in the fields of database theory-comprising work on deductive databases, object-oriented databases, and constraint databases-as well as in fault-tolerant distributed computation and in type theory.

Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets.

He has been selected as a Fellow of the ACM and a Packard fellow, and has done pioneering research in the areas of deductive databases, data mining, exploratory data analysis, data privacy, and web-scale data integration.

Invited speakers, including Maurice Bruynooghe, Alan Bundy, John Lloyd, Frank MacCabe and Robin Milner, will address a range of topics in logic programming, including recent research in constraint logic programming, deductive databases and parallel and concurrent logic programming languages.