Abstract
Database set predicates extend the definition of set predicates as they are known in logic programming languages with access to external relational or NF2 (Non First Normal Form) database systems. A database set predicate is a predicate of the form db_set_predicate (ProjectionTerm, DatabaseGoal, ResultList).
ProjectionTeimis an atomic or compound term, DatabaseGoal a possibly complex database goal, and Result List a data structure that captures the instantiations of Pro j ect ionTerm computed by the evaluation of DatabaseGoal. Database set predicates can access a multitude of external database systems efficiently through maximally restrictive queries. Database set predicates embed the set-orientated database evaluation into the tuple-orientated evaluation of logic languages, thus avoiding the memory management and control flow problems of traditional approaches.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bocca, J. “EDUCE — A Marriage of Convenience: Prolog and a Relational DBS”, in Proceedings of the Third Symposium on Logic Programming, Salt Lake City, 1986
Bocca, J., Dahmen, M. and Macartney, G. KB-Prolog User Guide, Technical Report, 4.9.1989, ECRC, Munich
Ceri, S., Gottlob, G. and Wiederhold, G. “Interfacing relational databases and Prolog efficiently.”, in Proceedings of the First International Conference on Expert Database Systems, ed. Kershberg, L., Benjamin-Cummings, 1987
Ceri, S., Gottlob, G. and Tanca, L. “Logic Programming and Databases”, Springer Verlag, 1990
Chimetti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S. and Zaniolo, C. “The LDL System Prototype”, in IEEE Transactions on Knowledge and Data Engineering, vol 2, No. 1, March 1990
Chang, C. L. and Walker, A. “PROSQL: A Prolog programming interface with SQL/DS”, in Proceedings of the First Workshop on Expert Database Systems, ed. Kershberg, L., Benjamin-Cummings, 1986
Clocksin, W. and Mellish, C. Programming in Prolog, Springer Verlag, 1987
Draxler, C. “Name Reactions in Organic Chemistry — A New Application Domain for Deductive Databases”, in Proceedings of DEXA 90, Springer Verlag, Vienna, 1990
Draxler, C. Logic Programming and Databases: An Overview over Coupled Systems and a New Approach based on Set Predicates, Technical Report No. 90.09, Computer Science Department, University of Zurich, Sept. 1990
Gallaire, H. and Minker, J. Logic and Databases, Plenum Press, 1978
Gallaire, H., Minker, J. and Nicolas, J-M. “Logic and Databases: a Deductive Approach”, in Computing Surveys, vol 16, No 2, June 1984
Ioannides, Y., Chen, J., Friedman, M. and Tsan-Garis, M. “BERMUDA — An architectural perspective on interfacing Prolog to a database machine” in Proceedings of the Second International Conference on Expert Database Systems, ed. Kershberg, L., Benjamin-Cummings, 1988
Korth, H. and Roth, M. “Query Languages for Nested Relational Databases”, in Proceedings of ICDT 90, Paris, ed. S. Abiteboul, Lecture Notes in Computer Science No. 470, Springer Verlag, Berlin, 1990
Kowalski, R. Logic and Databases, Research Report 82/25, Dept. of Computing, Imperial College of Science and Technology, London 1982
Li, D. A Prolog Database System. Research Studies Press, John Wiley & Sons Ltd., 1984
Manthey, R., Küchenhoff, V. and Wallace, M. KBL: Design Proposal of a conceptual language for EKS, ECRC Technical Report TR-KB-29, Jan. 89, Munich, 1989
Nussbaum, M. Delayed evaluation in logic programming: an inference mechanism for large knowledge bases, Diss No. 8542 ETH Zurich, 1988
O’Keefe, R. The Craft of Prolog, MIT Press, 1990
O’Hare, A. and Sheth, A. “The Interpreted-Compiled Range of AI/DB Systems”, in ACM SIGMOD Record, vol 18, No 1, March, 1989
Quintus Prolog Database Interface Manual Quintus Inc., Sunnyvale
Roussel, P. Prolog: Manuel de Reference et Utilisation. Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II, Marseille 1975
Warren, D. H. D. “Higher-order extensions to Prolog: are they needed?”, in Machine Intelligence 10, Ellis Horwood, 1982
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Draxler, C. (1992). Accessing Relational and NF2 Databases Through Database Set Predicates. In: Wiggins, G.A., Mellish, C., Duncan, T. (eds) ALPUK 91. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3546-3_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3546-3_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19734-8
Online ISBN: 978-1-4471-3546-3
eBook Packages: Springer Book Archive