On computing transitive closures in MatBase
Mathematics and Computer Science Department, Ovidius University, Constanta, Romania.
Research Article
GSC Advanced Engineering and Technology, 2022, 04(01), 039–058.
Article DOI: 10.30574/gscaet.2022.4.1.0050
Publication history:
Received on 07 July 2022; revised on 14 August 2022; accepted on 16 August 2022
Abstract:
This paper presents how transitive closures and their instantiations for all possible types of db interesting functions and function products are computed by the MatBase Datalog¬ subsystem. Moreover, it is proved that the correspond- ing algorithms are linear, solid, complete, and optimal.
Keywords:
Self-function product; Transitive closure; Datalog; Fixpoint semantics; (Elementary) Mathematical Data Model; MatBase
Full text article in PDF:
Copyright information:
Copyright © 2022 Author(s) retain the copyright of this article. This article is published under the terms of the Creative Commons Attribution Liscense 4.0