Database systems: a practical approach to design, implementation and management
Database systems: a practical approach to design, implementation and management
Logic, Programming and PROLOG
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Hi-index | 0.00 |
Data processing capabilities of Relational Database Management Systems are limited. In particular, the following two categories of problems are hard to solve: Traversal of Structurally Complex Data Structures (such as graphs, trees, terms, lists etc.) and Search for Admissible Solutions Under Specified Constraints (finding specific subsets of a given set, generation of structural solutions satisfying specific constraints etc.) This paper covers a part of the Jelly View technology, which provides a new, practical methodology for knowledge decomposition, storage, and retrieval within RDBMS. It also briefly presents a prototype system implementing the Jelly View technology called ReDaReS. The technology tackles the above problems by introducing rule-based processing (intensional knowledge processing) to the database systems. To express intensional knowledge the Prolog language syntax is used in the form of clauses. The clauses of Prolog code are decomposed and stored in the RDBMS founding reusable components of Logic Program. The database becomes a complete source of knowledge, both extensional and intensional. Furthermore, to process intensional knowledge, an inference engine is coupled with the RDBMS. The results of the inference process are visible as regular views, accessible through SQL. The state of the view is generated dynamically, on-demand by the inference engine. From the end-user point of view the processing capability becomes unlimited (arbitrarily complex queries can be constructed), while the most external queries are expressed with standard SQL. The relational database is extended with intensional knowledge, and coupled with an inference engine, which provides functionality analogous to that of the Deductive Databases.