research-article

The LDL System Prototype

Authors:

R. Krishnamurthy,

C. ZanioloAuthors Info & Claims

IEEE Transactions on Knowledge and Data Engineering, Volume 2, Issue 1

Pages 76 - 90

https://doi.org/10.1109/69.50907

Published: 01 March 1990 Publication History

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.

References

[1]

{1} A. V. Aho and J. Ullman, "Universality of data retrieval languages, " in Proc. POPL Conf., San Antonio TX, 1979.]]

Digital Library

[2]

{2} K. Apt, H. Blair, and A. Walker, "Towards a theory of declarative knowledge, " in Foundations of Deductive Databases and Logic Programming , J. Minker, Ed. Los Altos, CA: Morgan-Kaufman, 1987.]]

Digital Library

[3]

{3} F. Bancilhon and P. Buneman, Eds., Workshop on Database Programming Languages, Roscoff, Finistere, France, Sept. 1987.]]

[4]

{4} F. Bancilhon, "Naive evaluation of recursively defined relations," in On Knowledge Base Management Systems, M. Brodie and J. Mylopoulos, Eds. New York: Springer-Verlag, 1985.]]

Digital Library

[5]

{5} I. Balbin and K. Ramamohanarao, "A differential approach to query optimization in recursive deductive databases," J. Logic Programming , vol. 4, no. 2, pp. 259-262, Sept. 1987.]]

Digital Library

[6]

{6} F. Bancilhon and R. Ramakrishnan, "An amateur's introduction to recursive query processing strategies," in Proc. ACM SIGMOD Int. Conf. Management Data, Washington, DC, May 1986.]]

Digital Library

[7]

{7} H. Boral et al., "Phototyping Bubba," MCC Tech. Rep., Oct. 1989.]]

[8]

{8} C. Beeri et al., "Bound on the propagation of selection in logic programs, " in Proc. 6th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1987.]]

Digital Library

[9]

{9} C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur, "Set constructors in a logic database language," Logic Programming, to be published.]]

Digital Library

[10]

{10} F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman, "Magic sets and other strange ways to implement logic programs," in Proc. 5th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1986.]]

Digital Library

[11]

{11} J. Bocca, "On the evaluation strategy of Educe," in Proc. 1986 ACM-SIGMOD Conf. Management Data, 1986, pp. 368-378.]]

Digital Library

[12]

{12} H. Boral, "Parallelism in Bubba," in Proc. Int. Symp. Databases Parallel Distributed Syst., Austin, TX, Dec. 1988.]]

Digital Library

[13]

{13} S. Ceri, G. Gottlob, and G. Wiederhold, "Interfacing relational databases and Prolog efficiently, "in Expert Database Systems, L. Kerschberg, Ed. Benjamin/Cummings, 1987.]]

[14]

{14} D. Chimenti and R. Gamboa, "The SALAD cookbook: A user's guide," MCC Tech. Rep. ACA-ST-064-89.]]

[15]

{15} D. Chimenti, R. Gamboa, and R. Krishnamurthy, "Using modules and externals in LDL," MCC Tech. Rep. ACA-ST-036-89.]]

[16]

{16} D. Chimenti, "Abstract machine for LDL," MCC Tech. Rep. ACA-ST-268- 89.]]

[17]

{17} D. Chimenti, "Towards an open architecture for LDL," in Proc. 15th VLDB, 1989, pp. 195-203.]]

Digital Library

[18]

{18} G. Copeland and D. Maier, "Making SMALL TALK a database system," in Proc. ACM SIGMOD Int. Conf. Management Data, 1985, pp. 316-325.]]

Digital Library

[19]

{19} S. Danforth, S. Khoshafian, and P. Valduriez, "FAD--A database programming language, rev 2," MCC Tech. Rep. ACA-DB-151-85.]]

[20]

{20} J. M. Carey and J. D. Currey "The prototyping conundrum," Datamation , June 1, 1989.]]

[21]

{21} R. K. Foster, "Feature comparison of LDL and SQL," Control Data Corp. Interoffice Memo., Mar. 23, 1987.]]

[22]

{22} H. Gallaire, J. Minker, and J. M. Nicolas, "Logic and databases: A deductive approach," Comput. Surveys, vol. 16, no. 2, 1984.]]

Digital Library

[23]

{23} R. Herdman et al., "MAPPING OUR GENES Genome Projects: How big, How fast?" Congress of the United States, Office of Technology Assessment. Baltimore, MD: John Hopkins University Press, 1988.]]

[24]

{24} D. Harel, "First-order dynamic logic," in Lecture Notes in Computer Science, G. Goos and J. Hartmanis, Eds. New York: Springer-Verlag, 1979.]]

[25]

{25} Y. E. Ioannidis and E. Wong, "Query optimization by simulated annealing," in Proc. ACM SIGMOD Int. Conf. Management Data, 1987.]]

Digital Library

[26]

{26} M. Jarke, J. Clifford, and Y. Vassiliou, "An optimizing prolog front/ end to a relational query system," in Proc. 1984 ACM-SIGMOD Conf. Management Data, 1986, pp. 296-306.]]

Digital Library

[27]

{27} C. Kellogg, A. O'Hare, and L. Travis, "Optimizing the rule data interface in a KMS," in Proc. 12th VLDB Conf., Tokyo, Japan, 1986.]]

Digital Library

[28]

{28} W. Kim and F. H. Lochosky, Eds., Object-Oriented Concepts, Databases, and Applications. New York: ACM Press and Addison-Wesley, 1989.]]

[29]

{29} R. Krishnamurthy, S. Naqvi, and C. Zaniolo, "Database transactions in LDL," in Proc. Logic Programming North Amer. Conf. Cambridge, MA: MIT Press, 1989, pp. 795-830.]]

[30]

{30} R. Krishnamurthy, H. Boral, and C. Zaniolo, "Optimization of nonrecursive queries," in Proc. 12th VLDB, Kyoto, Japan, 1986.]]

Digital Library

[31]

{31} R. Krishnamurthy and S. Naqvi, "Non-deterministic choice in datalog," in Proc. 3rd Int. Conf. Data Knowledge Bases, June 27-30, Jerusalem, Israel.]]

[32]

{32} R. Krishnamurthy and S. Naqvi, "Towards a real Horn clause language," in Proc. 1988 VLDB Conf., Los Angeles, CA, Aug. 1988.]]

Digital Library

[33]

{33} R. Krishnamurthy, R. R. Ramakrishnan, and O. Shmueli, "A framework for testing safety and effective computability," in Proc. ACM SIGMOD Int. Conf. Management Data, 1988, pp. 154-163.]]

Digital Library

[34]

{34} R. Krishnamurthy and C. Zaniolo, "Optimization in a logic based language for knowledge and data intensive applications," in Advances in Database Technology, EDBT'88, Schmidt, Ceri, and Missikoff. Eds. New York: Springer-Verlag, 1988, pp. 16-33.]]

Digital Library

[35]

{35} S. Kunifji and H. Yokota, "Prolog and relational databases for 5th generation computer systems," in Advances in Logic and Databases, Vol. 2, Gallaire, Minker, and Nicolas, Eds. New York: Plenum, 1984.]]

[36]

{36} D. Li, "A Prolog database system," Lechtworth, Hertfordshire, U.K.: Research Institute Press, 1984.]]

Digital Library

[37]

{37} J. W. Lloyd, Foundations of Logic Programming, 2nd ed. New York: Springer-Verlag, 1987.]]

Digital Library

[38]

{38} K. Morris et al., "YAWN! (Yet another window on Nail!)," Data Eng., vol. 10, no. 4, pp. 28-44, Dec. 1987.]]

[39]

{39} D. Michie," 'Memo' functions and machine learning," Nature, Apr. 1968.]]

[40]

{40} S. Naqvi and R. Krishnamurthy, "Semantics of updates in logic programming," in Proc. 7th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1988, pp. 251-261.]]

Digital Library

[41]

{41} S. Naqvi, "A logic for negation in database systems," in Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Los Altos, CA: Morgan-Kaufman, 1987.]]

[42]

{42} S. Naqvi and S. Tsur, A Logical Language for Data and Knowledge Bases. San Francisco, CA: Freeman, 1989.]]

Digital Library

[43]

{43} T. Przymusinski, "On the semantics of stratified deductive databases and logic programs," in Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Los Altos, CA: Morgan-Kaufman, 1987.]]

Digital Library

[44]

{44} R. Ramakrishnan, C. Beeri, and R. Krishnamurthy, "Optimizing existential datalog queries," in Proc. 7th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1988, pp. 89-102.]]

Digital Library

[45]

{45} L. Rowe and K. A. Shones, "Data abstraction, views and updates in RIGEL," in Proc. ACM SIGMOD Int. Conf. Management Data, 1979. pp. 71-81.]]

Digital Library

[46]

{46} D. Saccá and C. Zaniolo, "On the implementation of a simple class of logic queries for databases," in Proc. 5th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1986.]]

Digital Library

[47]

{47} D. Saccá and C. Zaniolo, "Implementation of recursive queries for a data language based on pure Horn logic," in Proc. Fourth Int. Conf. Logic Programming, Melbourne, Australia, 1987.]]

[48]

{48} D. Saccá and C. Zaniolo, "The generalized counting method for recursive logic queries," J. Theoretical Comput. Sci., vol. 61, 1988.]]

Digital Library

[49]

{49} D. Saccá and C. Zaniolo, "Differential fixpoint methods and stratification of logic programs," in Proc. 3rd Int. Conf. Data Knowledge Bases, June 27-30, 1988, Jerusalem, Israel.]]

[50]

{50} J. Schmidt, "Some high level language constructs for data of type relations," ACM Trans. Database Syst., vol. 2, no. 3, pp. 140-173, 1977.]]

Digital Library

[51]

{51} P. G. Selinger et al., "Access path selection in a relational database management system," in Proc. ACM SIGMOD Int. Conf. Management Data, 1979.]]

Digital Library

[52]

{52} O. Shmueli and S. Naqvi, "Set grouping and layering in Horn clause programs," in Proc. 4th Int. Conf. Logic Programming, 1987, pp. 152-177.]]

[53]

{53} O. Shmueli, S. Tsur, and C. Zaniolo, "Rewriting of rules containing set terms in a logic data language (LDL)," in Proc. 7th ACM SIGMOD-SIGACT Symp. Principles Database Syst., 1988, pp. 15-28.]]

Digital Library

[54]

{54} A. Swami and G. Gupta, "Optimization of large join queries," in Proc. ACM-SIGMOD Int. Conf. Management Data, 1988, pp. 8-17.]]

Digital Library

[55]

{55} S. Tsur and C. Zaniolo, "LDL: A logic-based data language," in Proc. 12th VLDB, Tokyo, Japan, 1986.]]

Digital Library

[56]

{56} J. D. Ullman, Database and Knowledge-Based Systems. Rockville, MD: Computer Science Press, 1988.]]

Digital Library

[57]

{57} M. H. van Emden and R. Kowalski, "The semantics of predicate logic as a programming language," J. ACM, vol. 23, no. 4, pp. 733- 742, 1976.]]

Digital Library

[58]

{58} D. H. D. Warren, "An abstract Prolog instruction set," Tech. Note 309, AI Center, Comput. Sci. Technol. Div., SRI, 1983.]]

[59]

{59} C. Zaniolo, "Prolog: A database query language for all seasons," in Expert Database Systems, Proc. First Int. Workshop, L. Kerschberg, Ed. Benjamin/Cummings, 1986.]]

Digital Library

[60]

{60} C. Zaniolo, "The representation and deductive retrieval of complex objects, " in Proc. 11th VLDB, 1985, pp. 459-469.]]

[61]

{61} C. Zaniolo, "Safety and compilation of non-recursive Horn clauses," in Proc. First Int. Conf. Expert Database Syst., L. Kerschberg, Ed. Benjamin/Cummings, 1986.]]

[62]

{62} C. Zaniolo, "Design and implementation of a logic based language for data intensive applications," in Proc. Int. Conf. Logic Programming, Seattle, WA, 1988.]]

Cited By

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
(2018)Declarative Logic ProgrammingundefinedOnline publication date: 1-Sep-2018
Yang MShkapsky AZaniolo C(2017)Scaling up the performance of more powerful Datalog systems on multicore machinesThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-016-0448-z26:2(229-248)Online publication date: 1-Apr-2017
Show More Cited By

Recommendations

An object-oriented prototype for a geophysical database
SSST '95: Proceedings of the 27th Southeastern Symposium on System Theory (SSST'95)

Database management systems (DBMSs) are being used in a wide variety of domains to handle many types of data. Scientific data pose a special challenge to DBMSs due to their volume and complex nature. The object-oriented model has many additional ...
Using a Relational Database to Support Explanation in a Knowledge-Based System

In knowledge-based system (KBS) applications where the number of facts in the knowledge base is very large, the amount of information that is needed for effective explanation support can become too voluminous to be stored in main memory. The authors ...
Progress in Database Search Strategies

Retrieval speed and precision ultimately determine the success of any database system. This article outlines the challenges posed by distributed and heterogeneous database systems, including those that store unstructured data, and surveys recent work. ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Knowledge and Data Engineering

IEEE Transactions on Knowledge and Data Engineering Volume 2, Issue 1

March 1990

172 pages

ISSN:1041-4347

Issue’s Table of Contents

Copyright © Copyright © 1990 IEEE. All Rights Reserved.

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 March 1990

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
(2018)Declarative Logic ProgrammingundefinedOnline publication date: 1-Sep-2018
Yang MShkapsky AZaniolo C(2017)Scaling up the performance of more powerful Datalog systems on multicore machinesThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-016-0448-z26:2(229-248)Online publication date: 1-Apr-2017
Swift TWarren D(2012)XsbTheory and Practice of Logic Programming10.1017/S147106841100050012:1-2(157-187)Online publication date: 1-Jan-2012
Lohman GLindsay BPirahesh HSchiefer BNg JCouturier C(2010)Extensions to StarburstCASCON First Decade High Impact Papers10.1145/1925805.1925809(61-77)Online publication date: 1-Nov-2010
Bry FFurche TLey CMarnette BLinse BSchaffert S(2010)Datalog relaunchedProceedings of the First international conference on Datalog Reloaded10.1007/978-3-642-24206-9_19(321-350)Online publication date: 16-Mar-2010
Alvaro PMarczak WConway NHellerstein JMaier DSears R(2010)DedalusProceedings of the First international conference on Datalog Reloaded10.1007/978-3-642-24206-9_16(262-281)Online publication date: 16-Mar-2010
Siva SWang LRoy PVarde A(2008)A SQL database system for solving constraintsProceedings of the 2nd PhD workshop on Information and knowledge management10.1145/1458550.1458552(1-8)Online publication date: 30-Oct-2008
Faber WPfeifer GLeone NDell'armi TIelpa G(2008)Design and implementation of aggregate functions in the dlv system*Theory and Practice of Logic Programming10.1017/S14710684080033238:5-6(545-580)Online publication date: 1-Nov-2008
Unel GToman D(2007)Logic programming approach to automata-based decision proceduresProceedings of the 23rd international conference on Logic programming10.5555/1778180.1778196(165-179)Online publication date: 8-Sep-2007
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents