A data/knowledge base management testbed and experimental results on data/knowledge base query and update processing

Authors:
R. Ramnarayan;H. Lu
Affiliations:
Honeywell Corporate Systems Development Division, 1000 Boone Avenue North, Golden Valley, MN and National University of Singapore, Department of Information and Computer Science, Lower Kent Ridge, ...;Honeywell Corporate Systems Development Division, 1000 Boone Avenue North, Golden Valley, MN and National University of Singapore, Department of Information and Computer Science, Lower Kent Ridge, ...
Venue:
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Year:
1988

Citing 9
Cited 2

On compiling queries in recursive first-order databases

Journal of the ACM (JACM)
On the implementation of a simple class of logic queries for databases

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Design overview of the NAIL] system

Proceedings on Third international conference on logic programming
Magic sets and other strange ways to implement logic programs (extended abstract)

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The generalized counting method for recursive logic queries

Proceedings on International conference on database theory
An amateur's introduction to recursive query processing strategies

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Universality of data retrieval languages

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries

Proceedings of the Third International Conference on Data Engineering
Design and Evaluation of Algorithms to Compute the Transitive Closure of a Database Relation

Proceedings of the Third International Conference on Data Engineering

Computing transitive closures of multilevel relations

ACM SIGMOD Record
Database and artificial intelligence integration: a challenge to academia

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents our experience in designing and implementing a data/knowledge base management testbed. The testbed consists of two layers, the knowledge manager and the database management system, with the former at the top. The testbed is based on the logic programming paradigm, wherein data, knowledge, and queries are all expressed as Horn clauses. The knowledge manager compiles pure, function-free Horn clause queries into embedded-SQL programs, which are executed by the database management system to produce the query results. The database management system is a commercial relational database system and provides storage for both rules and facts. First, the testbed architecture and major data structures and algorithms are described. Then, several preliminary tests conducted using the current version of the testbed and the conclusions from the test results are presented. The principal contributions of this work have been to unify various concepts, both previously published and new ones we developed, into a real system and to present several insights into data/knowledge base management system design gleaned from the test results and our design and implementation experience.