Chris Pollett >
Students > [Bio] [Del1] [Del2] |
CS298 ProposalA Simple Interface for Nonstandard Knowledge Systems (SINKS)Harini Rao (harini12@yahoo.com) Advisor: Dr. Chris Pollett Committee Members: A Simple Interface for Nonstandard Knowledge Systems (SINKS) Harini Rao (harini12@yahoo.com) Abstract: Deductive databases extend relational databases, utilizing logic-programming rules for more complex data modeling. A deductive database system is a database system that includes capabilities to define deductive rules, which can deduce or infer additional information from the facts that are stored in a database. They are more beneficial than the traditional relational databases as they provide means for expressing disjunction and negation information. Query processing is also much simpler and easier in deductive databases. Currently, most of the deductive-style databases such as NAIL!, LDL, CORAL, XSB, etc. usually act as front-ends to a more traditional relational database. It might make it easier to deploy a deductive database system as a back end for a relational database since, then only, the designer of the database needs to understand the non-standard knowledge system and the application programmers can use the SQL they know and love. For my master's project, I intend to develop an interface system whereby non-standard knowledge systems can make their resources available as a backend to a more traditional relational database. The particular deliverable I am working towards is an XSB system backend for the Oracle system. CS297 ResultsTo design the interface, a strong foundation is required in logic programming and so the entire previous semester has been devoted to learning about nonstandard knowledge representation systems, the deductive database XSB, its various features, and the interfaces it supports.
Proposed Schedule
Key Deliverables:My main deliverable will be an Oracle.XSB interface that allows Oracle users/application programs to access XSB data stores via Oracle. This interface will allow facts in the deductive database XSB to be accessed from Oracle.s environment as though they existed as tables, using updatable views. It will allow the users to write SQL commands like SELECT, INSERT, UPDATE, and DELETE to be passed to the interface and will use .Instead of. triggers and stored procedures to retrieve and update the data from XSB. The interface will be written in a flexible enough manner so that it can be used to connect other relational databases like Microsoft.s SQL SERVER to XSB, as SQL SERVER also supports Instead of triggers and SQL stored procedures. As XSB already has interfaces to other knowledge-based systems such as Smodels, this will mean that my deliverable will be quite general.
Innovations and Challenges
References: Foundations of Databases. Abiteboul, Hull, Vianu. Addison Wessley. 1995. Fundamentals of Database Systems 3rd. Ed. ElMasri and Navathe. Addison-Wesley. 2000. Jaffar and Mahar. Constraint Logic Programming: A survey. Journal of Logic Programming. pp503-581. 1994. I.Niemela and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 420-429, Dagstuhl, Germany, July 1997. P. Simons. Extending and Implementing the Stable Model Semantics. Doctoral dissertation. Research Report 58, Helsinki University of Technology, Helsinki, Finland, April 2000. The XSB Research Group. http://xsb.sourceforge.net/ |