The fifth generation: artificial intelligence and Japan's computer challenge to the world
The fifth generation: artificial intelligence and Japan's computer challenge to the world
Storing and evaluating Horn-clause rules in a relational database
IBM Journal of Research and Development
A semantical model for integration and modularization of rules
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
From Logic to Logic Programming
From Logic to Logic Programming
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Object Relational DBMSs: The Next Great Wave
Object Relational DBMSs: The Next Great Wave
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Introduction to Database Systems
Introduction to Database Systems
Relational Database Systems: Analysis and Comparison
Relational Database Systems: Analysis and Comparison
History of programming languages---II
Hi-index | 0.00 |
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.