FLORA: Implementing an efficient DOOD system using a tabling logic engine

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1078-1093

  Yang, Guizhen ^a   Kifer, Michael ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

F-LOGIC; ITS EFFICIENCIES; LOGIC ENGINES; MAGIC SETS; OPTIMIZATION TECHNIQUES; WELL FOUNDED SEMANTICS;

LOGIC PROGRAMMING; SEMANTICS;

OPTIMIZATION;

EID: 84867786640     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_72     Document Type: Conference Paper

References (33)

1. S. Abiteboul , P. Buneman, and D. Suciu. Data on the Web. Morgan Kaufmann, San Francisco, CA, 2000.
2. M.L. Barja, A.A.A. Fernandes, N.W. Paton, A.H. Williams, A. Dinn, and A.I. Abdelmoty. Design and impl ementation of ROCK & ROLL: A deductive objectoriented database system. Information Systems, 20(3):185-211, 1995.
3. C. Beeri and R. Ramakrishnan. On the power of magic. Journal of Logic Pro-gramming, 10:255-300, April 1991.
4. T. Berners-Lee. Semantic web road map. http://www.w3.org/DesignIssues/Semantic.html, September 1998.
5. T. Berners-Lee. The semanti c toolbox: Building semantics on top of XML-RDF. http://www.w3.org/DesignIssues/Toolbox.html, May 1999.
6. A.J. Bonner and M. Kifer. Transaction logic programming. In Int'l Conference on Logic Programming, pages 257-282, Budapest, Hungary, June 1993. MIT Press.
7. A.J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205-265, October 1994.
8. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto, November 1995. http://www.cs.toronto.edu/~ bonner/transaction-logic.html.
9. A.J. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117-166. Kluwer Academic Publishers, March 1998.
10. A.J. Bonner and M. Kifer. Results on reasoning about updates in transaction logic. In Transactions and Change in Logic, B. Freitag et al.,Springer-Verlag, Berlin LNCS 1472, 1998.
11. W. Chen, M. Kifer, and D.S. Warren. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
12. H. Davulcu,M. Kifer,C.R. Ramakrishnan,I.V. Ramakrishnan Logic based modeling and analysis of workflows. In ACM Symposium on Principles of Database Systems 25-33, Seattle, Washington, June 1998.
13. H. Davulcu, G. Yang, M. Kifer, and I.V. Ramakrishnan. Design and implementation of the physical layer in webbases: The XRover experience. In Int'l Conference on Computational Logic (DOOD-2000 Stream), July 2000.
14. S. Dawson, C.R. Ramakrishnan, I.V. Ramakrishnan, K. Sagonas, S. Skiena, T. Swift, and D.S. Warren. Uni-cation factoring for efficient evaluation of logic programs. In ACM Symposium on Principles of Programming Languages, 1995.
15. S. Decker, D. Brickley, J. Saarela, and J. Angele. A query and inference service for RDF. In QL'98-The Query Languages Workshop, December 1998.
16. J. Frohn, R. Himmeroeder, P.-Th. Kandzia, G. Lausen, and C. Schlepphorst. FLORID-A prototype for F-logic. In Proc. Intl. Conference on Data Engineering (ICDE, Exhibition Program). IEEE Computer Science Press, 1997.
17. R.V. Guha, O. Lassila, E. Miler, and D. Brickley. Enabling inferencing. In QL'98-The Query Languages Workshop, December 1998.
18. A. Gupta, B. Ludäscher, and M. E. Martone. Knowledge-based integration of neuroscience data sources. In 12th Intl. Conference on Scienti-c and Statistical Database Management (SSDBM), Berlin, Germany, July 2000. IEEE Computer Society.
19. M. Jarke, R. Gallersdörfer, M.A. Jeusfeld, M. Staudt, and Stefan Eherer. Concept-Base-A deductive object base for meta data management. Journal of Intelligent Information Systems, February 1995.
20. M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Int'l Conference on Deductive and Object-Oriented Databases, volume 1013 of Lecture Notes in Computer Science, pages 187-212, Singapore, December 1995. Springer-Verlag. Keynote address at the 3d Int'l Conference on Deductive and Object-Oriented databases.
21. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and framebased languages. Journal of ACM, 42:741-843, July 1995.
22. G. Lausen and B. Ludäscher. Updates by reasoning about states. In 2-nd Inter-national East/West Database Workshop, Klagenfurt, Austria, September 1994.
23. M. Liu. A deductive object base language. Information Systems, 21(5):431-457, 1996.
24. B. Ludäscher. Tour de FLIP. The FLIP manual, 1998.
25. B. Ludäscher, A. Gupta, and M. E. Martone. A mediator system for model-based information integration. In Int'l Conference on Very Large Data Bases, Cairo, Egypt, 2000. system demonstration.
26. B. Ludäscher, R. Himmeröder, G. Lausen, W. May, and C. Schlepphorst. Managing semistructured data with FLORID: A deductive object-oriented perspective. Information Systems, 23(8):589-613, 1998.
27. Mozilla RDF/Enabling inference. http://www.mozilla.org/rdf/doc/inference.html, 1999.
28. K. Sagonas, T. Swift, and D.S. Warren. XSB as an efficient deductive database engine. In ACM SIGMOD Conference on Management of Data, pages 442-453, New York, May 1994. ACM.
29. K. Sagonas and D.S. Warren. Efficient execution of HiLog in WAM-based Prolog implementations. In Int'l Conference on Logic Programming, 1995.
30. T. Swift and D. S. Warren. An abstract machine for SLG resolution: Definite programs. In Int'l Logic Programming Symposium, Cambridge, MA, November 1994. MIT Press.
31. H. Tamaki and T. Sato. O LD resolution with tabulation. In Int'l Conference on Logic Programming, pages 84-98, Cambridge, MA, 1986. MIT Press.
32. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 38(3):620-650, 1991.
33. K. Yokota and H. Yasukawa. Towards an integrated knowledge-base management system. In Proceedings of the Int'l Conference on Fifth Generation Computer Systems, pages 89-109, June 1992.