Declarative Logic Programming. Michael Kifer

Чтение книги онлайн.

СКАЧАТЬ on Data Engineering, pp. 368–375. IEEE Computer Society. DOI: 10.1109/ICDE.1992.213173. 32

      L. V. S. Lakshmanan, I. N. Subramanian, and F. Sadri. 1996. A declarative language for querying and restructuring the Web. In Proc. of the 6th International Workshop on Research Issues in Data Engineering (RIDE ’96) Interoperability of Nontraditional Database Systems, RIDE ’96, pp. 12–21. IEEE Computer Society. DOI: 10.1109/RIDE.1996.492238. 36, 73

      M. S. Lam, J. Whaley, V. B. Livshits, M. C. Martin, D. Avots, M. Carbin, and C. Unkel. 2005. Context-sensitive program analysis as database queries. In Proc. of the Twenty-fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS ’05, pp. 1–12. ACM. DOI: 10.1145/1065167.1065169. 79, 80

      M. S. Lam, S. Guo, and J. Seo. 2013. SociaLite: Datalog extensions for efficient social network analysis. In Proc. of the 2013 IEEE International Conference on Data Engineering (ICDE 2013), ICDE ’13, pp. 278–289. IEEE Computer Society. DOI: 10.1109/ICDE.2013.6544832. 82

      O. Lassila and R. R. Swick. Feb. 1999. Resource description framework (RDF) model and syntax specification. Technical report, W3C. Available at: http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/. 34, 78

      G. Lausen and B. Ludäascher. 1995. Updates by reasoning about states. In Eder J., Kalinichenko L.A. (editors) East/West Database Workshop. Workshops in Computing. Springer, London. 41

      S. Lee and J. Han. 1988. Semantic query optimization in recursive databases. In Proc. of the Fourth International Conference on Data Engineering, pp. 444–451. IEEE Computer Society. DOI: 10.1109/ICDE.1988.105490. 32

      N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. July 2006. The DLV system for knowledge representation and reasoning. ACM Trans. on Computational Logic, 7(3):499–562. DOI: 10.1145/1149114.1149117. 83

      A. Y. Levy and Y. Sagiv. 1995. Semantic query optimization in datalog programs (extended abstract). In Proc. of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS ’95, pp. 163–173. ACM. DOI: 10.1145/212433.220207. 32

      Y. A. Liu and S. D. Stoller. 2009. From Datalog rules to efficient programs with time and space guarantees. ACM Trans. Prog. Lang. Syst., 31(6):1–38. DOI: 10.1145/1552309.1552311. 49, 52, 535

      Y. A. Liu and S. D. Stoller. Jan. 2018. Founded semantics and constraint semantics of logic rules. In International Symposium on Logical Foundations of Computer Science, vol. 10703 of Lecture Notes in Computer Science, pp. 221–241. Springer. DOI: 10.1007/978-3-319-72056-2_14. 22

      J. W. Lloyd. 1993. Foundations of Logic Programming, 2nd. Springer-Verlag New York, Inc., Secaucus, NJ. 9, 11

      J. W. Lloyd, L. Sonenberg, and R. W. Topor. 1987. Integrity constraint checking in stratified databases. Journal of Logic Programming, 4(4):331–343. DOI: 10.1016/0743-1066(87)90009-4. 30

      B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. 2005. Implementing declarative overlays. In Proc. of the Twentieth ACM Symposium on Operating Systems Principles, SOSP ’05, pp. 75–90. ACM. DOI: 10.1145/1095809.1095818. 81

      B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. 2006. Declarative networking: Language, execution and optimization. In Proc. of the 2006 ACM SIGMOD International Conference on Management of Data, SIGMOD ’06, pp. 97–108. ACM. DOI: 10.1145/1142473.1142485. 80, 81

      B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Nov. 2009. Declarative networking. Commun. ACM, 52(11):87–95. DOI: 10.1145/1592761.1592785. 80

      D. Maier. Aug. 1986a. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pp. 6–26. Washington D.C. 33, 34

      D. Maier. 1986b. Databases in the Fifth Generation project: Is Prolog a database language? In G. Ariav and J. Clifford, editors, New Directions for Database Systems, pp. 18–34. Ablex Publishing Corporation. 12

      D. Maier and D. S. Warren. 1981. Incorporating computed relations in relational databases. In Proc. of the 1981 ACM SIGMOD International Conference on Management of Data, SIGMOD ’81, pp. 176–187. ACM. DOI: 10.1145/582318.582345. 23

      D. Maier and D. S. Warren. 1988. Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings. 15

      D. Maier, A. O. Mendelzon, and Y. Sagiv. 1979. Testing implications of data dependencies. Trans. Database Syst., 4(4):455–469. DOI: 10.1145/320107.320115. 27

      F. Maier, D. Nute, W. D. Potter, J. Wang, M. J. Twery, H. M. Rauscher, P. Knopp, S. Thomasma, M. Dass, and H. Uchiyama. 2002. PROLOG/RDBMS integration in the NED intelligent information system. In On the Move to Meaningful Internet Systems, 2002—DOA/CoopIS/ODBASE Proc. of the Confederated International Conferences DOA, CoopIS and ODBASE, p. 528. DOI: 10.1007/3-540-36124-3_35. 63

      V. W. Marek and M. Truszczyński. 1999. Stable models and an alternative logic programming paradigm. In K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perspective, pp. 375–398. Springer, Berlin, Heidelberg. DOI: 10.1007/978-3-642-60085-2_17. 22

      D. Martinenghi, H. Christiansen, and H. Decker. 2006. Integrity checking and maintenance in relational and deductive databases and beyond. In Z. Ma, editor, Intelligent Databases: Technologies and Applications, pp. 238–285. Idea Group Publishing. DOI: 10.4018/978-1-59904-120-9.ch010. 30, 31

      MathGen, 2000. Mathematics Genealogy Project. Available at: http://genealogy.math.ndsu.nodak.edu/. Last accessed 1 August 2016. 84

      F. G. McCabe. 1992. Logic and Objects. Prentice Hall International, London, England. 33

      J. M. McCarthy and P. J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press. Reprinted in Readings in Artificial Intelligence, 1981, Tioga Publishing Co. DOI: 10.1016/B978-0-934613-03-3.50033-7. 40

      D. A. Miller and G. Nadathur. July 1986. Higher-order logic programming. In International Conference on Logic Programming, vol. 225 of Lecture Notes in Computer Science, pp. 448–462. Springer-Verlag. 38

      J. Minker. 1977. An experimental relational data base system based on logic. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pp. 107-147, Plenum Press, New York. DOI: 10.1007/978-1-4684-3384-5_5. 13

      J. Minker. Mar. 1994. Overview of disjunctive logic programming. Annals of Mathematics and Artificial Intelligence, 12(1): 1–24. DOI: 10.1007/BF01530759. 22

      J. Minker and D. Seipel. 2002. Disjunctive logic programming: A survey and assessment. In Computational Logic: Logic Programming and Beyond, pp. 171–197. Springer. DOI: 10.1007/3-540-45628-7_18. 22

      J. Minker, D. Seipel, and C. Zaniolo. 2014. Logic and databases: A history of deductive databases. In J. H. Siekmann, editor, Computational Logic, vol. 9 of Handbook of the History of Logic, pp. 571–627. Elsevier. DOI: 10.1016/B978-0-444-51624-4.50013-7. 13, 15

      M. Minsky. 1975. A framework for representing СКАЧАТЬ