Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Deductive Database"”.
-
Bottom-up evaluation of HiLog in the context of deductive database systems
… of Horn-clause HiLog as a query language for deductive databases by investigating the feasibility of adapting well-established Datalog evaluation algorithms for the evaluation of HiLog programs. Each of the evaluation algorithms examined in the work is formally described and verified in terms …
-
DJ: Bridging Java and Deductive Databases
… to manage data effectively. While relational databases have been the industry standard for the past quarter century, recent growth in data volumes and complexity requires novel data management solutions. These trends revitalized the interest in deductive databases and highlighted the need for …
-
The efficient evaluation of visual queries within a logic-based framework
… has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need for a more intuitive interface for the non-expert user. Systems such as Hy+, developed at the University of Toronto, provide environments that satisfy a wide …