The LDL system prototype
- 1 March 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 2 (1), 76-90
- https://doi.org/10.1109/69.50907
Abstract
The logic data language (LDL) system provides a declarative logic-based language and integrates relational database and logic programming technologies so as to support advanced data and knowledge-based applications. A comprehensive overview of the system and a description of LDL language and the compilation techniques employed to translate LDL queries into target query execution plans on the stored data are presented. The architecture and runtime environment of the system and the optimization techniques employed in order to improve the performance and assure the safety of the compiled queries are given. The experience gained so far with the system and application areas where the LDL approach appears to be particularly effective are discussed.<>Keywords
This publication has 25 references indexed in Scilit:
- A Framework for Testing Safety and Effective ComputabilityJournal of Computer and System Sciences, 1996
- Non-Deterministic Choice in DatalogPublished by Elsevier ,1988
- Optimization in a logic based language for knowledge and data intensive applicationsLecture Notes in Computer Science, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Query optimization by simulated annealingPublished by Association for Computing Machinery (ACM) ,1987
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Some high level language constructs for data of type relationACM Transactions on Database Systems, 1977
- “Memo” Functions and Machine LearningNature, 1968