Lbase: A Logical Database Management System

Abstract

Logic offers a uniform environment both for data description and program execution and provides a powerful programming language with the use of "headed" queries. Relational data model proved to be the best model of the "conventional" database theory This paper describes the advantages of connecting a relational database management system (RDBMS) with logic programming, building a logical DBMS (LDBMS) that extends the power of the relational data model. Relations are described both by facts (assertions) and rules (deductions), so data become more meaningful, and complex queries can be answered. Memory organisation also provides space saving and efficient indexing using b-trees instead of sequential searching. 2. Introduction Even though relational data model has boosted database theory [1], some problems and limitations arise from the fact that relational databases are flat and therefore full exploitation of the relational model capabilities requires programming skills from the user. Q..