On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PROSQL: a Prolog programming interface with SQL/DS
Proceedings from the first international workshop on Expert database systems
Implementation of a Prolog-INGRES interface
ACM SIGMOD Record
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
A logical language for data and knowledge bases
A logical language for data and knowledge bases
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Logic and Data Bases
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Common expression analysis in database applications
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
The Architecture of BrAID: A System for Bridging AI/DB Systems
Proceedings of the Seventh International Conference on Data Engineering
Design Overview of the NAIL! System
Proceedings of the Third International Conference on Logic Programming
Benchmarking Database Systems A Systematic Approach
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Efficient Management of Persistent Knowledge
Journal of Intelligent Information Systems
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
Hi-index | 0.00 |
We describe the design and implementation of BERMUDA, which is a loosely coupled system interfacing Prolog to the Britton-Lee Intelligent Database Machine (IDM-500). BERMUDA allows multiple concurrent Prolog processes, possibly running on different machines, to share a database. In addition, it preserves the semantics of Prolog programs and makes the use of the database system transparent to the user. We discuss several architectural issues faced by such systems and the approach adopted for each one in BERMUDA. We also present the performance results of a variety of experiments with the system. These include single-user benchmarks of BERMUDA against stand-alone Prolog and stand-alone IDM, detailed profiling of the costs of the modules of BERMUDA that shows the overhead imposed by the interface, and multiuser benchmarks of BERMUDA that show how the system behaves under heavier load. These experiments demonstrate the effectiveness of loosely coupled systems in general and of BERMUDA specifically. They also help in the identification of some aspects of the design and implementation of BERMUDA that could be improved.