Breadcrumb

 
 

On the design and implementation of a top-down datalog interpreter in C++

Title:

On the design and implementation of a top-down datalog interpreter in C++

Tadisetty, Mohan Rao (1997) On the design and implementation of a top-down datalog interpreter in C++. Masters thesis, Concordia University.

[img]
Preview
PDF
3886Kb

Abstract

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, [78] leaves ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1997
Thesis Supervisor(s):Butler, Gregory
ID Code:351
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:11
Last Modified:08 Dec 2010 10:14
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer