Tadisetty, Mohan Rao (1997) On the design and implementation of a top-down datalog interpreter in C++. Masters thesis, Concordia University.
Datalog is a database query language based on the logic programming paradigm. Datalog is the language of deductive databases, obtained by extending the basic relational database model with the reasoning capability, that is, one can not only query about the facts stored explicitly in the database but also query about derived facts. Datalog provides the clauses with parameters, called logical variables. The interpreter for Datalog requires the matching of predicates and of logical variables, through unification and substitution. Datalog behaves like a programming language because it can return values as answers to queries, rather than just "yes" and "no" answers. In this report, the syntax and semantics of Datalog, the efforts to design and implement a top-down version of the Datalog interpreter in C++ and the experimental results are presented. The name "Datalog" is chosen because of its connection with database query languages. In this implementation, the Datalog interpreter can process one query at a time.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Authors:||Tadisetty, Mohan Rao|
|Pagination:||vii, 46,  leaves ; 29 cm.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Butler, Gregory|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 17:11|
|Last Modified:||08 Dec 2010 15:14|
Repository Staff Only: item control page
Downloads per month over past year