Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness
| |
|
Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness
Ghica van Emde Boas - Lubsen5  and Peter van Emde Boas6
| (5) |
IBM, the Netherlands, PO Box 24, 1420 AA Uithoorn |
| (6) |
ILLC - WINS, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam |
Abstract
The tight connection which exists between the fragment of Prolog now known by the name Datalog [ 27] and the various calculi and algebras for Relational Database Systems was observed at several places in the late 70-ies and
early 80-ies. The problem was to make this idea operational and to build a system which implemented it. Such systems today
are known as Deductive Databases.
We describe the history of a hardly known project from the mid 80-ies where a prototype realizing this goal was produced.
We explain why the Relational Database system called Business System 12, developed by IBM in the Netherlands, and which became operational in 1983, turned out to provide the right functionality.
We also indicate how this project influenced subsequent projects aimed at enhancing the degree of declarativeness in interfaces
with database systems.1
Evidently the actual developments in the fields of Databases, Logic Programming and Artificial Intelligence go far beyond
the small part which the authors observed and participated in. The observations and opinions expressed in this paper therefore
don’t pretend to present a complete view on history, but rather to reflect the insights and positions held by the authors
during these developments
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|