Foundations of logic programming
Foundations of logic programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
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
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The generalized counting method for recursive logic queries
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Semantics of updates in logic programming
Advances in database programming languages
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Communications of the ACM
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A deductive database audit trail
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Hi-index | 0.00 |
The problems encountered in developing expert database systems (EDSs) are described. It is suggested that what is needed is an EDS shell that is general-purpose and thus alleviates much of the ad hoc tedium associated with constructing present EDSs, and overcomes performance and semantic problems stemming from the present mismatch in the front and back ends of these systems. A language called LDL (logic data language) is described that was developed for this purpose. The discussion is restricted to LDL features with an immediate bearing on the main theme, i.e. tightly coupled systems.