Skip to main content
SpringerLink
Log in

Databases — Relationship with Logic Programming

  • Chapter
Book cover Logic Programming

  • 102 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Acharya, S. and Buckley, G. Transction Restarts in Prolog Database Systems,Proceeding of the 1985 ACM Sigmod Conference, Austin,Texa, May,1985

    Google Scholar 

  2. Adiba, M. and Nguyen, G. T., Logic Programming for a Generalized Data Management System, Research Report TIGRE No 12, Laboratoires IMAG, France, January, 1984.

    Google Scholar 

  3. Adiba, M. and Nguyen, G. T., Handling Constraints and Meta-Data on a Generalized Data Management System, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 2427, 1984.

    Google Scholar 

  4. Anderson, S. O., Neves, J. C. and Williams, M. H., Extended Integrity Constraints in Query-By-Example, Technical Report, Heriot-Watt University, Edinburg, 1982.

    Google Scholar 

  5. Backhouse, R. C., Neves, J. C., Williams, M. H. and Anderson, S. O., A Prolog Implementation of Query-ByExample, Technical Report, Heriot-Watt University, Edinburg, 1982. Also in Proceedings of the Seventh International Symposium on Computing, Germany.

    Google Scholar 

  6. Baldwin, J. F. and Pilsworth, B. W., An Inferential Fuzzy Logic Knowledge Base, Technical Report, Department of Engineering and Mathematics, University of Bristol, U.K., 1982. Presented at the Workshop on Logic Programming Long Beach, Los Angeles September 1981.

    Google Scholar 

  7. Bancilhon, F. and Richard, P., Managing Texts and Facts in a Mixed Database Environment, in New Applications of Databases, G. Gardarin and E. Gelenbe, (eds.), Academic Press, 1984.

    Google Scholar 

  8. Banning, R. W., A Prolog-Based Framework for Model Management, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  9. Barthes, J. P., Vayssade, M. and Miaczynska, M., Property Driven Data Bases, International Joint Conference on Artificial Intelligence, Tokyo, Japan, 1979.

    Google Scholar 

  10. Berger-Sabbatel, G., Coeur, A., Toan, N. G. and Winniger, P., La Machine Bases de Donnees Opale, Technical Report, Laboratoire IMAG, Saint-Martin-d’Heres, France, 1984.

    Google Scholar 

  11. Berger-Sabbatel, G., Dang, W., Ianeselli, J. C. and Nguyen, G. T., Unification for a Prolog Data Base Machine, Proceedings of the Second International Logic Programming Conference, S. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 207–218.

    Google Scholar 

  12. Berger-Sabbatel, G., Ianeselli, J. C. and Nguyen, G. T., A Prolog Database Machine, Proceedings of the Third International Workshop on Database Machines, Munchen, Germany, September, 1983.

    Google Scholar 

  13. Berger-Sabbatel, G. and Nguyen, G. T., La Machine Base De Donnees OPALE, Actes du Seminaire Programmation En Logique, M. Dincbas, ed., March, 1983.

    Google Scholar 

  14. Van Emde Boas-Lubsen, H., Van Emde Boas, P. and Doedens, C. F. J., Extending A Relational Database with Logic Programming Facilities, TR 13. 195, IBM INS-Development Center, Uithoorn, The Netherlands, October 1984.

    Google Scholar 

  15. Bowen, K. A., Logic Programming and Relational Databases, in Workshop on Logic Programming,S. Tarnlund, (ed.), Debrecen, Hungary, July 1980.

    Google Scholar 

  16. Brodie, M. and Jarke, M., On Integrating Logic Programming and Databases, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  17. Bruynooghe, M., An Interface between Prolog and CyberEDMS, Proceedings of Workshop on Logic and Databases, Toulouse, France, 1977.

    Google Scholar 

  18. Van Caneghem, M., Systeme d’Analyse et de Synthese Morphologique en Francais pour l’Exploitation de Banques de Donnees ( Vol 1,2 ), Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II Marseille, France, 1977.

    Google Scholar 

  19. Chakravarthy, U. S., Fishman, D. H. and Minker, J., Semantic Query Optimization in Expert Systems and Database Systems, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  20. Chakravarthy, U. S., Minker, J. and Tran, D., Interfacing Predicate Logic Languages and Relational Databases, Technical Report, University of Maryland, College Park, 1982. Also in Proceedings of the First International Logic Programming Conference Marseille, France, 91–98.

    Google Scholar 

  21. Chandra, A. and Harel, D., Horn Clause Queries and Generalizations, Proceedings of Symposium on Principles of Database Systems, 1982.

    Google Scholar 

  22. Chang, C. L. and Walker, A., Prosql: A Prolog Programming Interface with SQL/DS, Technical Report RJ 4314, IBM Watson Research Center, 1984.

    Google Scholar 

  23. Chomicki, L. and Grundzinski, T., A Database Support System for Prolog, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  24. Coelho, H., On a Conversational Interface between Users and a Database, DI Report, Laboratoria Nacional De Engenharia Civil, Lisbon, Portugal, 1976.

    Google Scholar 

  25. Coelho, H., Natural Language and Databases, DI Report, Laboratoria Nacional De Engenharia Civil, Lisbon, Portugal, 1977.

    Google Scholar 

  26. Coelho, H., Database Interrogation by Means of Natural Language, Proceedings the First International Workshop on Natural Language Communication with Computers, Warsaw, Poland, September, 1980. Held in Warsaw, Poland.

    Google Scholar 

  27. Coelho, H., Prolog for Databases, Computer and Artificial Intelligence 2, 1 (February, 1983 ), 35–46.

    Google Scholar 

  28. Conery, J. S. and Kibler, D. F., Parallel Query Processing in Logic Databases, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983.

    Google Scholar 

  29. Dahl, V., Logical Design of Deductive Natural Language Consultable Data Bases, Proceedings Fifth International Conference on Very Large Data Bases, Rio De Janeiro, Brazil, 1979.

    Google Scholar 

  30. Dahl, V., Towards Constructive Data Bases, Workshop on Logic Programming, Long Beach, Los Angeles, September 1981.

    Google Scholar 

  31. Dahl, V., On Database Systems Development Through Logic, ACM Transactions on Database Systems 7, 1 (March 1982), 102–123.

    Article  MathSciNet  Google Scholar 

  32. Dahl, V., Logic Programming for Constructive Expert Database Systems, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  33. Debenham, J. K. and Mcgrath, G. M., The Description in Logic of a Large Commercial Database: A Methodology Put to the Test, Australian Computer Science Communications 5, (1982), 12–21.

    Article  Google Scholar 

  34. Debenham, J. K. and Mcgrath, G. M., Lofe: A Language for Virtual Relational Databases, The Australian Computer Journal 15, 3 (1983), 2–9.

    Google Scholar 

  35. Demolombe, R., Assigning Meaning to Ill-Defined Queries Expressed in Predicate Calculus Language, Proceedings of the Workshop on Logic and Databases, Toulouse, France, 1977.

    Google Scholar 

  36. Demolombe, R., Interface Entre Prolog Et Un SGBD, Actes du Seminaire Programmation En Logique, M. Dincbas, ed., March, 1983.

    Google Scholar 

  37. Demolombe, R., Interface entre Prolog et un SGBD, Technical Report, Onera-Cert, Toulouse, France, 1984.

    Google Scholar 

  38. Diel, H., Concurrent Data Access Architecture, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  39. Elcock, E. W., Stabler, E. P., Wyatt, D. and Young, A., Database Management in Prolog, Department of Computer Science, University of Western Ontario, 1984.

    Google Scholar 

  40. Van Emden, M. H., Deductive Information Retrieval On Virtual Relational Databases, Technical Report CS-76–42, Department of Computer Science, University of Waterloo,Canada, 1976

    Google Scholar 

  41. Van Emden, M. H., Logic Programs for Querying Relational Databases, Technical Report, Department of Computer Science, University of Waterloo,Canada, 1976.

    Google Scholar 

  42. Fagin, R., Horn Clauses And Data. Base Dependencies, Proceedings Of The 12th Annual ACM-SIGACT Symposium On The Theory Of Computing, 123–134.

    Google Scholar 

  43. Fagin, R., Functional Dependencies in a Relational Database and Propositional Logic, IBM Journal of Research and Development 21, 6 (November 1977), 534–544.

    Article  MathSciNet  MATH  Google Scholar 

  44. Fagin, R., Horn Clauses and Database Dependencies, Journal of the ACM 29, 4 (October 1982), 952–985.

    Article  MathSciNet  MATH  Google Scholar 

  45. Fishman, D. H. and Naqvi, S. A., An Intelligent Database System: AIDS, Proceedings of Workshop on Logical Bases for Databases, Toulouse, France, 1982

    Google Scholar 

  46. Frank, A., Extending a Network Database with Prolog, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 2427, 1984.

    Google Scholar 

  47. Fuhlrott, O., Prolog als Databank-und Programmiersprache, Technical Report, University of Hamburg, Germany, 1982.

    Google Scholar 

  48. Furtado, A. L. and Moura, C. M. O., Expert Helpers to Data-Based Information Systems, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  49. Furukawa, K., A Deductive Question-answering System On Relational Databases, Proceedings 5th International Joint Conference on Artificial Intelligence Conference, Cambridge, August 1977, 59–66.

    Google Scholar 

  50. Furukawa, K., An Intelligent Access to Relational Databases, in Computer Science and Technologies: 1982, T. Kitagawa, (ed.), Elsevier North-Holland, New-York, 1982, 334–349.

    Google Scholar 

  51. Futo, I., Darvas, F. and Szeredi, J., The Application of Prolog to the Development of QA and DBM Systems, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, 1978.

    Google Scholar 

  52. Gallaire, H., Impacts of Logic on Data Bases, Proceedings Seventh International Conference on Very Large Data Bases, Cannes, France, 1981.

    Google Scholar 

  53. Gallaire, H., Logic Databases versus Deductive Databases, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  54. Gallaire, H., Prolog et Bases De Donnees, Actes du Seminaire Programmation En Logique, M. Dincbas, ed., March, 1983.

    Google Scholar 

  55. Gallaire, H. and Minker, J., Logic and Databases, Plenum Press, 1978. Editors.

    Google Scholar 

  56. Gallaire, H., Minker, J. and Nicolas, J. M., An Overview and Introduction to Logic and Databases, in Logic and Databases, H. Gallaireand J. Minker, (eds.), Plenum Press, New York, 1978, 123–134.

    Google Scholar 

  57. Gallaire, H., Minker, J. and Nicolas, J. M., Advances in Database Theory, Plenum Press, 1981. Editors.

    Google Scholar 

  58. Gallaire, H., Minker, J. and Nicolas, J. M., Logic and Databases: A Deductive Approach, ACM Computing Surveys 16, 2 (June 1984).

    Article  MathSciNet  Google Scholar 

  59. Gardarin, G. and Gelenbe, E., New Applications of Databases, Academic Press, Orlando, Florida, 1984. ( Editors).

    Google Scholar 

  60. Grant, J. and Minker, J., Optimization in a Deductive Relational System, Proceedings Workshop on Formal Bases for Data Bases, Toulouse, France, 1979.

    Google Scholar 

  61. Grant, J. and Minker, J., Answering Queries in Indefinite Data Bases and the Null Value Problem, Technical Report, Department of Computer Science, University of Maryland, 1983.

    Google Scholar 

  62. Grant, J. and Minker, J., Answering Queries in Indefinite Databases and the Null Value Problem, Technical Report TR1374, Department of Computer Science, University of Maryland, 1984.

    Google Scholar 

  63. Gray, P. M. D., Logic, Algebra and Databases, Ellis Horwood Series, England, 1984.

    MATH  Google Scholar 

  64. Hammond, P. and Sergot, M. J., Logic For Representing Data And Expertise, in Database Design Update, G. J. Baker and S. Holloway, (eds. ), 1984. The British Computer Society’s Database Specialist Group.

    Google Scholar 

  65. Han, J., Planning in Expert DB Systems by Using Rules, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 2427, 1984.

    Google Scholar 

  66. Henschen, L. J. and Naqvi, S. A., An Improved Filter for Literal Indexing in Resolution Systems, Proceedings of the 7th International Joint Conference on Artificial Intelligence, Vancouver, August, 1981, 528–529.

    Google Scholar 

  67. Henschen, L. J. and Naqvi, S. A., Synthesizing Least Fixed Point Queries into Iterative Programs, Proceedings International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983.

    Google Scholar 

  68. Henschen, L. J. and Naqvi, S. A., On Compiling Queries in Recursive First-Order Databases, Journal of the ACM 1, (January, 1984 ).

    Google Scholar 

  69. Irani, K. B. and Shin, Y., Implementation of Very Large Prolog-Based Knowledge Bases on Data Flow Architectures, Proceedings of the First IEEE/AAA! Conference on Artificial Intelligence Applications, Denver, Colorado, December, 1984.

    Google Scholar 

  70. Jananaming, M., Johansson, A. L. and Tarnlund, S. A., Predicate Logic: A New Basis For Data Bases, University Of Stockholm, 1975.

    Google Scholar 

  71. Jarke, M., External Semantic Query Simplification: A Graph-Theoretic Approach and Its Implementation in Prolog, Technical Report CRIS 75, Graduate School of Business, New York University, 1984.

    Google Scholar 

  72. Jarke, M., Clifford, J. and Vassiliou, Y., An Optimizing Prolog Front-End to a Relational Query System, Proceedings of the ACM SIGMOD Conference,Boston, 1984. Also Technical Report CRIS 65, Graduate School of Business, New York University.

    Google Scholar 

  73. Jarke, M. and Vassillou, Y., Coupling Expert Systems with Database Management Systems, in Artificial Intelligence Applications for Business, W. Reitman, (ed.), Ablex Publishing Company, 1984.

    Google Scholar 

  74. Kellog, C., Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology, Proceedings of the National Conference on Artificial Intelligence, Carnegie-Mellon University, August 1982.

    Google Scholar 

  75. Kellog, C., Klahr, P. and Travis, L., Deductive Planning and Pathfinding for Relational Data Bases, in Logic and Databases, H. Gallaireand J. Minker, (eds.), Plenum Press, 1978.

    Google Scholar 

  76. Kellog, C. and Travis, L., Reasoning with Data in a Deductively Augmented Data Base Management System, in Advances in Database Theory, H. Gallaire, J. Minkerand J. M. Nicolas, (eds.), Plenum Press, 1981.

    Google Scholar 

  77. Kitsuregawa, M., Tanaka, H. and Moto-Oka, T., Application Of Hash To Data Base Machine And Its Architecture, New Generation Computing 11,(1983).

    Google Scholar 

  78. Kluzniak, F., Spoquel: A Simple Prolog-Oriented Query Language, Technical Report, Department of Computer Science, Warsaw University, Poland, 1983.

    Google Scholar 

  79. Komorowski, H. J., Rapid Software Development in a Database Framework - A Case Study, Proceedings of the IEEE International Conference on Data Engineering, Los Angeles, 1984.

    Google Scholar 

  80. Kouloumdjian, J., Couplage entre FOLL-Prolog et les Systemes de Gestion de Bases de Donnees, Journees d’Etude, Universite des Sciences Sociale de Grenoble, France, January, 1984.

    Google Scholar 

  81. Kowalski, R. A., Logic as a Database Language, Workshop on Logic Programming, Long Beach, Los Angeles, September 1981. Also available as Technical Report from Imperial College, London; and in Proceedings of Advanced Seminar on Theoretical Issues in Data Bases, Cetraro, Italy.

    Google Scholar 

  82. Kunifuji, S. and Yokota, H., Prolog and Relational Databases for Fifth Generation Computer, Proceedings of Workshop on Logical Bases for Databases,Toulouse, France, 1982. Also available as Report TR-002 from ICOT.

    Google Scholar 

  83. Kuper, G. M., Ullman, J. D. and Vardi, M. Y., On the Equivalence of Logical Databases, Technical Report RJ-4203, IBM Watson Research Center, 1984.

    Google Scholar 

  84. Kuper, G. M. and Yardi, M. Y., A New Approach to Database Logic, Technical Report RJ-4202, IBM Watson Research Center, 1984.

    Google Scholar 

  85. Kuper, G. M. and Yardi, M. Y.,On the Expressive Power of the Logical Data Model, Proceedings of the 1985 ACM Sigmod Conference,Austin, Texas, May,1985.

    Google Scholar 

  86. Lloyd, J. W., An Introduction To Deductive Data Base Systems, Technical Report, Department of Computer Science, University of Melbourne,Australia, 1982. Also in the Australian Computer Journal, 15, 2, 1983.

    Google Scholar 

  87. Lozinski, E. L., Deduction in Relational Databases Directed by Problem Specific Data, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  88. Marque-Pucheu, G., Martin-Gallausiaux, J. and Jomier, G., Interfacing Prolog and Relational Database Management System, in New Applications of Databases, G. Gardarin and E. Gelenbe, (eds.), Academic Press, 1984.

    Google Scholar 

  89. Minker, J., Performing Inferences over Relational Databases, Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data,1975, 79–91. Also available as Technical Report from the University of Maryland.

    Google Scholar 

  90. Minker, J., Set Operations and Inferences over Relational Databases, Technical Report 427, Computer Science Department, University of Maryland, 1975.

    Google Scholar 

  91. Minker, J., An Experimental Relational Data Base System Based on Logic, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, 1978.

    Google Scholar 

  92. Minker, J., Search Strategy and Selection Function for an Inferential Relational System, ACM Transactions on Database Systems 8, 1 (March, 1978 ), 1–31.

    Article  Google Scholar 

  93. Minker, J., Logical Inference as an Aid to Analysis in Large Databases, Technical Report TR-879, Department of Computer Science, University of Maryland, 1980.

    Google Scholar 

  94. Minker, J., On Indefinite Databases and the Closed World Assumption, Proceedings of the First International Logic Programming Conference, Marseille, France, 1981. Also in 6th Conference on Automated Deduction, 1982.

    Google Scholar 

  95. Minker, J., On Deductive Relational Databases, in Proceedings of the Fifth International Conference on Collective Phenomena, Annals of the New York Academy of Sciences, Vol. 10, J. L. Lebowitz, (ed.), 1982, 181–280.

    Google Scholar 

  96. Minker, J., On Theories of Definite and Indefinite Databases, Technical Report TR-1250, Department of Computer Science, University of Maryland, 1983.

    Google Scholar 

  97. Minker, J. and Nicolas, J. M., On Recursive Axioms in Deductive Databases, Information Systems 8, 1 (January, 1982 ).

    Article  Google Scholar 

  98. Minker, J. and Zanon, G., An Extension to Linear Resolution with Selection Function, Information Processing Letters 1.4, 4 (June, 1982 ), 191–194.

    Article  MathSciNet  Google Scholar 

  99. Minsky, N., Rozenshtein, D. and Chomicki, J., Unifying the Use and Evolution of Database Systems: A Case Study in Prolog, Technical Report DCS-TR-68, Department of Computer Science, Rutgers University, 1985.

    Google Scholar 

  100. Missikoff, M. and Wiederhold, G., Towards a Unified Approach to Expert and Database Systems, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  101. Miyachi, T., Kitakami, H., Kunifuji, S. and Furukawa, K., A Knowledge Assimilation Method for Logic Databases, Technical Report TR-0025, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  102. Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A. and Yokota, H., A Proposed Knowledge Assimilation Method for Logic Databases, Technical Memorandum TM-0004 (In Japanese ), ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. English Version in Proceedings of the International IEEE Logic Programming Conference, 1984.

    Google Scholar 

  103. Murakami, K., Kakuta, T., Miyazaki, N., Shibayama, S. and Yokota, H., A Relational Database Machine: First Step to Knowledge Base Machine, Technical Report TR-012, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan, 1983. Also in ACM SIGARCH Newsletter, Vol. 11 (3), 1983, pp. 423–425.

    Article  Google Scholar 

  104. Naish, L., Negation and Control in PROLOG, Ph.D. Thesis, Department of Computer Science, University of Melbourne, 1985.

    Google Scholar 

  105. Naish, L., Mu-Prolog 3.2db Reference Manual, Internal Memorandum, Department of Computer Science, University of Melbourne, 1985.

    Google Scholar 

  106. Naish, L. and Thom, J. A., The MU-Prolog Deductive Database, Technical Report 83–10, Department of Computer Science, University of Melbourne,Australia, 1983.

    Google Scholar 

  107. Naqvi, S. A., Prolog and Relational Databases: A Road to Data-Intensive Expert Systems, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  108. Naqvi, S. A. and Henschen, L. J., Performing Inferences over Recursive Data Bases, Proceedings NCAI, 1980.

    Google Scholar 

  109. Neves, J. C., A Logic Interpreter to Handle Time and Negation in Logic Data Bases Query-By-Example, Technical Report, Universidade do Minho, Braga, Portugal, 1984.

    Google Scholar 

  110. Neves, J. C., Triggers, Aggregate and Select Operators in a Logic Database Using Query-By-Example, Technical Report, Universidade do Minho, Braga, Portugal, 1984.

    Google Scholar 

  111. Neves, J. C., Security and Co-Operativeness In A Logic Data Base System, Sixth European Conference On Artificial Intelligence,Pisa, September, 1984.

    Google Scholar 

  112. Neves, J. C. and Williams, M. H., Towards a Co-Operative Database Management System, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  113. Neves, J. C. and Williams, M. H., A Logical Approach to Security and Integrity in Query-By-Example, Technical Report, Universidade do Minho, Braga, Portugal, 1984.

    Google Scholar 

  114. Neves, J. C. and Williams, M. H., An Approach to Cooperativeness in Logic Data Bases, Technical Report, Universidade do Minho, Braga, Portugal, 1984.

    Google Scholar 

  115. Nguyen, G. T., Olivares, J. and Winniger, P., Cooperation de Prolog et d’un SGDB Generalise: Principles and Applications, Technical Report 12, Centre de Recherche, Grenoble, INRIA, 1984.

    Google Scholar 

  116. Nicolas, J. M., A Property of Logical Formulas Corresponding to Integrity Constraints on Database Relations, Proceedings of the Workshop on Formal Bases for Data Bases, Toulouse, France, 1979.

    Google Scholar 

  117. Nicolas, J. M., Logic for Improving Integrity Checking in Relational Databases, Acta Informatica 18, 3 (1979).

    MathSciNet  Google Scholar 

  118. Nicolas, J. M., Proceedings of Workshop on Logical Bases for Databases, Technical Report Onera-Cert, Toulouse, December, 1982. Editor.

    Google Scholar 

  119. Nicolas, J. M., Bases De Donnees Logiques Et Programmation En Logique, Actes du Seminaire Programmation En Logique, M. Dincbas, ed., March, 1983.

    Google Scholar 

  120. Nicolas, J. M., Bases de Donnees Logiques, Technical Report, ONERA-CERT, Toulouse, France, 1984.

    Google Scholar 

  121. Nicolas, J. M. and Syre, J. C., Natural Question Answering and Automated Deduction in the System Syntex, Proceedings of IFIP, 1974, 595–599.

    Google Scholar 

  122. Nicolas, J. M. and Yazdanian, K., Integrity Checking in Deductive Databases, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press Publishing Co., New York, 1978, 325–346.

    Google Scholar 

  123. Nicolas, J. M. and Yazdanian, K., An Outline of BDGEN: a Deductive DBMS, Proceedings IFIP 83 Congress, 1983, 711–717. Also Technical Report ONERA-CERT, October 1982.

    Google Scholar 

  124. Parker, D. S., Logic Programming and Databases, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  125. Parsaye, K., Database Management, Knowledge Base Management and Expert System Development in Prolog, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  126. Parsaye, K., Logic Programming and Relational Databases, IEEE Database Engineering 6, 4 (December 1983).

    Google Scholar 

  127. Pereira, L. M. and Filgueiras, M., Relational Databases a la Carte, Research Report, Departemento de Informatica, Universidade Nova de Lisboa, Portugal, 1982. Also in Proceedings of Logic Programming Workshop, Portugal, 1983.

    Google Scholar 

  128. Perichaud, L., Consultation en Francais d’une Banque de Donnees sur Fichiers et Mise en Place du Systeme Prolog Necessaire, These du 3ieme Cycle, Groupe Intelligence Artificielle, University Aix-Marseille, France, 1981.

    Google Scholar 

  129. Pietrzykowski, T., Prograph As Environment For Prolog DB applications, Proceedings of The Logic Programming Workshop’83, 1983.

    Google Scholar 

  130. Pique, J. F. and Sabatier, P., An Informative, Adaptable and Efficient Natural Language Consultable Database System, Proceedings of the European Conference on Artificial Intelligence 1982, Orsay, France, July 1982.

    Google Scholar 

  131. Poole, D. L., The Logical Definition of Deduction Systems, Technical Report CS-84–12, Department of Computer Science, University of Waterloo, Canada, 1984.

    Google Scholar 

  132. Potter, W. D., Design-Pro: A Multi-Model Schema Design Tool in Prolog, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  133. Reiter, R., A Sound and Sometimes Complete Query Evaluation Algorithm For Relational Databases with Null Values, June, 1988,Canada

    Google Scholar 

  134. Reiter, R., On Closed World Databases, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, 1978, 55–76. Also in Readings in Artificial Intelligence, edited by Webber and Nilsson, published by Tioga, 1981.

    Google Scholar 

  135. Reiter, R., Deductive Question-answering on Relational Databases, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, 1978, 149–178.

    Google Scholar 

  136. Reiter, R., On Structuring a First Order Database, Proceedings of the 2nd National Conference Canadian Society for Computational Studies of Intelligence, Toronto, July 1978, 90–99.

    Google Scholar 

  137. Reiter, R., On the Integrity of Typed First Order Databases, in Advances in Data Base Theory, H. Gallaire, J. Minkerand J. M. Nicolas, (eds.), Plenum Press, 1981.

    Google Scholar 

  138. Reiter, R., Towards a Logical Reconstruction of Relational Database Theory, in Perspectives on Conceptual Modelling, M. L. Brodie, J. Mylopoulos and J. W. Schmidt, (eds.), Springer Verlag, 1983.

    Google Scholar 

  139. Roussopoulos, N., Mark, L. and Chu, B. T., Update Dependencies in Relational Databases, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  140. Sagiv, Y. and Fagin, R., An Equivalence Between Relational Database Dependencies and a Subset of Propositional Logic, Report RJ2500, IBM Research Laboratories, San Jose, March, 1979.

    Google Scholar 

  141. Sagiv, Y. and Ullman, J. D., Complexity of a Top-Down Capture Rule, Technical Report STAN-CS-84–1009, Department of Computer Science, Stanford University, July, 1984.

    Google Scholar 

  142. Sakai, H. and Others, Design And Implementation Of The Relational Data Base Engine, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  143. Sandewall, E., A Programming Tool for Management of a Predicate-Calculus Oriented Data Base, Proceedings of the Second International Joint Conference on Artificial Intelligence, London, 1971.

    Google Scholar 

  144. Sciore, E. and Warren, D. S., Towards an Integrated Database Prolog System, Technical Report, Department of Computer Science, State University of New York at Stony Brook, June, 1984.

    Google Scholar 

  145. Sciore, E. and Warren, D. S., Towards and Integrated Database-Prolog System, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  146. Shapiro, S. C. and Mckay, D. P., Inference with Recursive Rules, Proceedings of NCAI, 1980.

    Google Scholar 

  147. Shibayama, S. and Others, Query Processing Flow On RDBM Delta’s Functionally-distributed Architecture, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  148. Shibayama, S., Kakuta, T., Miyazaki, N., Yokota, H. and Murakami, K., On RDBM Delta’s Relational Algebra Processing Algorithm, Technical Memorandum TM-0023, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  149. Shibayama, S., Miyazaki, N., Kakuta, T. and Yokota, H., A Relational Database Machine DELTA, Technical Memorandum TM-0002, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan, 1982.

    Google Scholar 

  150. Silva, G., Montgomery, C. A. and Dwiggings, D., An Application of Automated Language Understanding Techniques to the Generation of Data Base Elements, Proceedings 17th Annual Meeting of the Association of Computational Linguistics, UCSD, San Diego, August, 1979.

    Google Scholar 

  151. Smith, D. E. and Genesereth, M. R., Ordering Conjunctive Queries, Artificial Intelligence 26, (1985), 171–215.

    Article  MathSciNet  MATH  Google Scholar 

  152. Stabler, E. P., Database and Theorem prover Designs for Question Answering Systems, Department of Cognitive Science, University of Western Ontario, 1982.

    Google Scholar 

  153. Tanaka, Y., Mpdc: Massive Parallel Architecture for Very Large Data Bases, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  154. Tarnlund, S. A., A Logical Basis for Data Bases, Technical Report TRITA-IBABB-1029, Computer Science Department, Royal Institute of Technology, University of Stockholm, 1976.

    Google Scholar 

  155. Tarnlund, S. A., An Axiomatic Data Base Theory, Technical Report, Computer Science Department, Royal Institute of Technology, University of Stockholm, 1978.

    Google Scholar 

  156. Thom, J. A. and Thorne, P. G., Deductive Databases and the Nature of Personal Information, Technical Report 82–11, Department of Computer Science, University of Melbourne, Australia, 1982.

    Google Scholar 

  157. Topor, R. W., Keddis, T. and Wright, D. W., Deductive Database Tools, Technical Report 84/7, Department Of Computer Science, University Of Melbourne, 1984.

    Google Scholar 

  158. Ullman, J. D., Implementation of Logical Query Languages for Databases, Technical Report STAN-CS-84–1000, Stanford University, 1984.

    Google Scholar 

  159. Ullman, J. D. and Van Gelder, A., Testing Applicability of Top Down Capture Rules, Draft Paper, Stanford University, 1985.

    Google Scholar 

  160. Venken, R., Een Eenvoudige Relationele Gegevensbank als Uitbreiding van Prolog, Undergraduate Thesis, Departement voor Toegepaste Wiskunde en Programmatie, Katholieke Universiteit Leuven, Belgium, 1981.

    Google Scholar 

  161. Venken, R., A Prolog Meta-Interpreter For Partial Evaluation And Its Application To Source-to-Source Transformation and Query Optimisation, Sixth European Conference On Artificial Intelligence, Pisa, September, 1984.

    Google Scholar 

  162. Warren, D. H. D., Efficient Processing of Interactive Relational Database Queries Expressed in Logic, Proceedings Seventh International Conference on Very Large Data Bases, Cannes, France, 1981, 272–281.

    Google Scholar 

  163. Warren, D. S., Database Updates in Pure Prolog, Technical Report 84/073, State University of New York, Stony Brook, 1984.

    Google Scholar 

  164. Warren, D. S., Data Base Updates In Pure Prolog, International Conference On Fifth Generation Computer Systems,November 1984.

    Google Scholar 

  165. Williams, M. H., Neves, J. C. and Anderson, S. O., Security and Integrity in Logic Data Bases using QB r, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  166. Wise, M. J. and Powers, D. M. W., Indexing Prolog Clauses via Superimposed Code Words and Field Encoded Words, Proceedings of the International IEEE Conference on Logic Programming, Atlantic City, January, 1984, 203–210.

    Google Scholar 

  167. Woehl, K., Automatic Classification Of Office Documents By Coupling Relational Databases And Prolog Expert Systems, Proceedings of the Tenth Conference On Very Large Data Bases, Singapore, August, 1984.

    Google Scholar 

  168. Wright, D. J., Prolog as a Relationally Complete Database Query Language Which Can Handle Least Fixed Point Operators, Technical Report, University of Kentucky, 1981.

    Google Scholar 

  169. Yokota, H., Shibayama, S., Kunifuji, S., Miyazaki, N. and Murakami, K., An Enhanced Inference Mechansim for Generating Relational Algebra Queries, Technical Report TR0026, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  170. Zaniolo, C., Prolog: A Database Query Language for All Seasons, Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 24–27, 1984.

    Google Scholar 

  171. Zarri, G. P., Intelligent Information Retrieval: An Interesting Application Area For The New Generation Computer Systems, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Melbourne, 3052, Parkville, Victoria, Australia

    Isaac Balbin

  2. Computer Science Department, University of California, 90024, Los Angeles, California, USA

    Koenraad Lecot

Authors
  1. Isaac Balbin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koenraad Lecot
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Isaac Balbin and Koenraad Lecot

About this chapter

Cite this chapter

Balbin, I., Lecot, K. (1985). Databases — Relationship with Logic Programming. In: Logic Programming. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5044-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-5044-3_15

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-0-908069-15-6

  • Online ISBN: 978-94-009-5044-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation