A Logic Database System with Extended Functionality
نویسندگان
چکیده
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: The EDB consists of a set of positive ground formula, not necessarily Horn; The IDB includes rules that are Horn and may have existential quantifiers. The IC includes range-restricted Horn clauses with no existential quantification.
منابع مشابه
Handling XML with a Deductive Database System
We propose an integration of XML with F-Logic, a deductive object-oriented database framework. The F-Logic data model is in fact a semistructured data model, exhibiting many similarities with the XML/DOM data model: there is a canonical mapping from XML to a fragment of F-Logic. The advantages of the integration are that the full expressiveness of F-Logic (and the functionality of the FLORID sy...
متن کاملThe Representation and Deductive Retrieval of Complex Objects
The Relational Data Model and Relational Calculus are extended with Unification and non-recursive Horn Clauses from Logic. The benefits gained include better versatility and a richer functionality for expressing complex Jack, deductive queries and rule-based inJerences. Applications include semantic data models for Databases, frames for Knowledge-based systems, and Complex Objects for CAD. An E...
متن کاملEvaluation of object-relational database systems for fulltext retrieval
Object-relational database systems add object-oriented features to relational DBMS and allow the DBMS’s functionality to be extended to new application domains. For the important domain of fulltext retrieval and document management, we analyze whether current object-relational DBMS are already able to compete with specialized information retrieval (IR) systems. After discussing the main require...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملLoPiX: A System for XML Data Integration and Manipulation
LOPiX is an implementation of XPathLog [May01b], an XML/XPath-native, rule-based programming language for manipulation and integration of XML documents. The main syntactical constructs are XPath expressions, extended with variables. Due to the close relationship with XPath, the semantics of rules is easy to grasp. In contrast to other approaches, the XPath syntax and semantics is also used for ...
متن کامل