Bottom-up evaluation of HiLog in the context of deductive database systems
Bibliography: leaves 127-130. === HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language for deductive databases by investigating t...
Main Author: | Luppnow, Andrew James |
---|---|
Other Authors: | Wood, P T |
Format: | Dissertation |
Language: | English |
Published: |
University of Cape Town
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/11427/9585 |
Similar Items
-
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation
by: Stefan Brass, et al.
Published: (2017-01-01) -
A study of parallel deductive database systems
by: Shao, Jianhua
Published: (1990) -
A database programming language for a deductive object-oriented database
by: Barja Goni, Maria Lusia
Published: (1995) -
Deductive databases and P systems
by: Miguel A. Gutierrez-Naranjo, et al.
Published: (2004-06-01) -
Disjunctive deductive databases.
Published: (1996)