Bottom-up evaluation of DataHiLog

Wood, Peter (1993) Bottom-up evaluation of DataHiLog. In: Paton, N.W, and Howard Williams, M. (eds.) Proceedings of the 1st International Workshop on Rules in Database Systems. Workshops in Computing. Springer, pp. 401-415. ISBN 9783540198468.

Full text not available from this repository.

Official URL: https://doi.org/10.1007/978-1-4471-3225-7_24

Abstract

Many queries which may be useful in applications such as “data mining” and knowledge acquisition in databases cannot be expressed in traditional query languages such as SQL or Datalog because they lack the ability to query information regarding the schema of the database. We study the language DataHiLog introduced by Ross as a restriction of the language HiLog developed by Chen, Kifer and Warren. DataHiLog is still able to mix schema-level and instance-level queries, while avoiding the problem of infinite answers which can arise in HiLog. We show how the standard techniques for Datalog can be extended to provide a bottom-up evaluation mechanism for DataHiLog, and consider whether Datalog optimization techniques can also be extended to DataHiLog.

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	18 Oct 2021 16:41
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46340

Statistics

Archive Staff Only (login required)

Edit/View Item