CT-1998-04: van Emde Boas-Lubsen, Ghica and van Emde Boas, Peter (1998) Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
CT-1998-04.text.ps.gz Download (105kB) |
|
Text (Abstract)
CT-1998-04.abstract.txt Download (1kB) |
Abstract
Compiling HornClause Rules in IBM's Business System 12:
an Early Experiment in Declarativeness
Ghica van Emde BoasLubsen, Peter van Emde Boas
The tight connection which exists between the fragment of Prolog now known by
the name Datalog [28] and the various calculi and algebras for Relational
Database Systems was observed at several places in the late 70ies and early
80ies. 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 80ies 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.
"What we understand we can formalize; what is formalizable can be automated,
and you will discover that someone has built it."
| Item Type: | Report |
|---|---|
| Report Nr: | CT-1998-04 |
| Series Name: | Computation and Complexity Theory (CT) |
| Year: | 1998 |
| Date Deposited: | 12 Oct 2016 14:39 |
| Last Modified: | 12 Oct 2016 14:39 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1079 |
Actions (login required)
 |
View Item |
