Implementation of a deductive database system

Deductive databases intellectualize relational databases by providing complex inference ability. They are competitive with current commercial relational databases. They overcome some drawbacks which were found in relational databases, such as, the huge storage space taken by relational databases; di...

Full description

Bibliographic Details
Main Author: Chen, Yin.
Other Authors: Chan, Chee Keong
Format: Thesis
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/10356/38957
_version_ 1811691970011070464
author Chen, Yin.
author2 Chan, Chee Keong
author_facet Chan, Chee Keong
Chen, Yin.
author_sort Chen, Yin.
collection NTU
description Deductive databases intellectualize relational databases by providing complex inference ability. They are competitive with current commercial relational databases. They overcome some drawbacks which were found in relational databases, such as, the huge storage space taken by relational databases; difficulty in handling disjunctive and negated facts; a burden on the user to combine different operators to answer a certain query, etc. In this project, a deductive database system was designed and implemented. This deductive database system is a unified logic/database system where programs may be expressed declaratively, in a form close to frrst-order logic, and at the same time efficiently access very large data bases. It is implemented based on logic-based compilation, which has higher performance than conventional interpretation. A Prolog-like program is read in and optimized first according to the goals instantiation, before it is translated into Warren Abstract Machine (WAM) instructions by a compiler. The resulting WAM code is executed by an emulator. The inference engine and the relational database are tightly coupled (external records are retrieved from the underlying database and unified with Prolog-like terms as and when required). The tight coupling of a logic-based language and a relational database achieved a promising performance.
first_indexed 2024-10-01T06:28:21Z
format Thesis
id ntu-10356/38957
institution Nanyang Technological University
last_indexed 2024-10-01T06:28:21Z
publishDate 2010
record_format dspace
spelling ntu-10356/389572023-07-04T15:27:11Z Implementation of a deductive database system Chen, Yin. Chan, Chee Keong School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems Deductive databases intellectualize relational databases by providing complex inference ability. They are competitive with current commercial relational databases. They overcome some drawbacks which were found in relational databases, such as, the huge storage space taken by relational databases; difficulty in handling disjunctive and negated facts; a burden on the user to combine different operators to answer a certain query, etc. In this project, a deductive database system was designed and implemented. This deductive database system is a unified logic/database system where programs may be expressed declaratively, in a form close to frrst-order logic, and at the same time efficiently access very large data bases. It is implemented based on logic-based compilation, which has higher performance than conventional interpretation. A Prolog-like program is read in and optimized first according to the goals instantiation, before it is translated into Warren Abstract Machine (WAM) instructions by a compiler. The resulting WAM code is executed by an emulator. The inference engine and the relational database are tightly coupled (external records are retrieved from the underlying database and unified with Prolog-like terms as and when required). The tight coupling of a logic-based language and a relational database achieved a promising performance. Master of Engineering 2010-05-21T03:37:14Z 2010-05-21T03:37:14Z 1997 1997 Thesis http://hdl.handle.net/10356/38957 NANYANG TECHNOLOGICAL UNIVERSITY 114 p. application/pdf
spellingShingle DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Chen, Yin.
Implementation of a deductive database system
title Implementation of a deductive database system
title_full Implementation of a deductive database system
title_fullStr Implementation of a deductive database system
title_full_unstemmed Implementation of a deductive database system
title_short Implementation of a deductive database system
title_sort implementation of a deductive database system
topic DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
url http://hdl.handle.net/10356/38957
work_keys_str_mv AT chenyin implementationofadeductivedatabasesystem